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, 24 Jan 2019 22:49:14 +0000 (22:49 +0000)
commitb0b281e1fe7ef6e60739149836e2932558c76a83
treeaccad0da5c71f6f731eec812d0c173e3399bcb10
parenta30414a4ffe3aa861a846471250f299a508e259e
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