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, 2 Feb 2019 21:49:54 +0000 (21:49 +0000)
commit268234c851df32222c2bdad79e720cf9913b4bbc
tree80b1d38851592903a16bb8fcfad7e8fc48b1d559
parent9f809fb78770d0fd9c9ee9367803ae8f4649d9ec
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