[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)
committerBastien Roucariès <rouca@debian.org>
Sat, 25 Mar 2023 10:55:37 +0000 (10:55 +0000)
commit1d5b938ba4c75fdea59b40b8a6318bdee88ee873
tree20a40b0c1cfdf420126c817e3ff3e0e918779086
parent7aeeeee4f5da1f149ff5e80c94b37a921c849ade
[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