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>
Mon, 23 Jul 2018 18:54:04 +0000 (19:54 +0100)
commit317fb2b073d95d730584c964af4eb8e32e43b1a2
tree41e602451a169d4030fb57b235ad09b7a66e0c59
parentad9ab0a237534192c7053bb7ef76fbe7895c3dc5
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