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>
Tue, 18 Jun 2019 18:36:04 +0000 (19:36 +0100)
commitdc12f9d61c8758193be1096a185ee5382bab2ac6
tree8354d8a964ccc11d1b60403e52cd2cfd42efbb4b
parent0ce4e9154fd51e4bb6e1a9df0cf9f73128376f9f
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