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>
Sat, 15 Dec 2018 14:02:18 +0000 (14:02 +0000)
commit33ce78a620e3db0c3915054d3abaaf7cc9cc579d
tree7c2a27fac528ff96022a8adee3598aa666886f9c
parenta902bd931378a3de3235c856ec6a7b6c0488c469
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