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>
Sun, 12 Aug 2018 06:13:03 +0000 (07:13 +0100)
commit62ee50cda64fb66daa43e9b7713d221d6197b07e
tree2dc1d58e236dbea702e7052dcef5d29a772709e4
parent6f1f2a177b1d4cbaa0ab5b5e3aa56d1dd6ff63d8
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