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, 6 Sep 2019 09:52:03 +0000 (10:52 +0100)
commit077b656d7bf158a21c92e8b7ea1508227b80dc3b
tree870bb542d486c68319cfd7b954ff53ab7ca7867a
parent39b45e436d3770491459bbffae83faf66d3a226a
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