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>
Wed, 3 Apr 2019 11:19:34 +0000 (12:19 +0100)
commit5e9451ba8d746001e078aa218824905b1d8cab27
tree25b411a5c34698987ff17b8be4edd75400da52c8
parent792a2a21c2a0f8721c546e3f352946858700aba9
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