[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>
Sat, 1 Feb 2020 14:13:43 +0000 (14:13 +0000)
commitc95280a2b13f55c727ff772c509925cee686dbab
treed4beeef8b8b38cba7f67bd00a8f2fd43fec0e730
parentc73e03c2ba72de00baf16ffc671c1aaaed55f6e9
[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