[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, 12 Aug 2023 19:58:29 +0000 (20:58 +0100)
commit7addf3c97ebd04fbae36d4a254e5bce7ca98b4d8
tree1a4e337c48540ae04282d413886d69b5433f6254
parent2acaf6f8d54c457c489b52b44d5d7eb75093db83
[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