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, 24 Nov 2018 09:59:44 +0000 (09:59 +0000)
Change-Id: I84644cddd8a318a2af23780ada9afc26fe23a9fe

Gbp-Pq: Name no-ant-check-if-unneeded.diff

configure.ac

index 52042b138ae70ca0c6d424ade3ea91e2c31be68a..0e23c4c02c39077c20a642b0c4c1c415c6419e5c 100644 (file)
Binary files a/configure.ac and b/configure.ac differ