micro-optimization: do not check for ant if we don't need it
authorRene Engelhard <rene@rene-engelhard.de>
Wed, 23 May 2018 15:30:04 +0000 (17:30 +0200)
committerRene Engelhard <rene@debian.org>
Fri, 31 Aug 2018 10:45:39 +0000 (11:45 +0100)
commit05b7fa05094bfe22390175473d9f3e9b723e080e
treee66f8047161d369f9969cebbea611751d56fe777
parenteaf502821ee668abe277d8c9c65ac040d52cac8c
micro-optimization: do not check for ant if we don't need it

Change-Id: I84644cddd8a318a2af23780ada9afc26fe23a9fe

Gbp-Pq: Name no-ant-check-if-unneeded.diff
configure.ac