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>
Fri, 24 Aug 2018 16:57:08 +0000 (17:57 +0100)
commitc4c049588756cf16f73888ad2e77e74c00a9b388
treecd642cb22f01cf66bf2474fc565b92bc1a1f0114
parentc2f5d41492ab0e2d25af2a0135a00f3e451ca584
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