[PATCH] 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>
Mon, 8 Mar 2021 12:13:24 +0000 (12:13 +0000)
commit8c3afb2fb9cff12b0407f08e400ca3a46fae2ace
tree2b70518a260077fd214716ae2bbb673b0f1f855b
parent28fc2c624f681607eb40e128c7c3f1948e94410f
[PATCH] 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