From 648faf5783a78ebb4399f219ec87104c551567b2 Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Thu, 18 Jun 2015 11:46:18 +0200 Subject: allow repeated compilation for warm benchmarking --- build.xml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/build.xml b/build.xml index dda2ac2e..c5532e58 100644 --- a/build.xml +++ b/build.xml @@ -1,10 +1,13 @@ + + + -- cgit