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, 31 Oct 2019 17:26:41 +0000 (17:26 +0000)
commit59ce32e6c9539687a71fdccd2fb249b23b441a9d
treec0bcaeaab56b323fc38f21d4e6b1b06f92429902
parent21fa0c54f979adf17e42bbf156c11ff0364c94ae
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