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>
Thu, 11 Apr 2019 20:39:53 +0000 (21:39 +0100)
commit274483c5139db808c15de7710536e791c0828f37
treef78fc687823cd88a859d74c1e82850bac4f022b6
parent6e42d6676d089da2e6ae2a7096a20dce85ff81a1
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