From ab58140263d6208a12c1321a46ece34f6e58bd50 Mon Sep 17 00:00:00 2001 From: Rene Engelhard Date: Wed, 23 May 2018 17:30:04 +0200 Subject: [PATCH] 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 | Bin 459893 -> 460005 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/configure.ac b/configure.ac index cc41751a47794188e9d078a2799a0f8a83d6b453..fa5f7148d6c80e3e698ef4b93d7e71255f1f51f4 100644 GIT binary patch delta 178 zcmey`A@j6TrlEzgg{g&k3(K;F9Dc5@F7b|jA=Cf2GKo%i&}R{9-@lM$`~HQj_YDLU zfB>ezHY6z2b^66gOsdl_^f9q)KXi$89xE0ViDFD5(-(xZuul)a%F4IB