From 294f13b8c94a2c2e4a801d60532f90d3e2241d88 Mon Sep 17 00:00:00 2001
From: Stefan Bodewig <bodewig@apache.org>
Date: Fri, 26 Jan 2018 19:51:04 +0100
Subject: [PATCH] tunnel jenkins property via three layers of build files

---
 build.xml        | 1 +
 launch-build.xml | 6 +++++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index e9701e08f..37476c08d 100644
--- a/build.xml
+++ b/build.xml
@@ -1914,6 +1914,7 @@ ${antunit.reports}
       <propertyset>
         <propertyref name="antunit.tmpdir"/>
         <propertyref name="ant.home"/>
+        <propertyref name="jenkins"/>
       </propertyset>
     </au:antunit>
   </target>
diff --git a/launch-build.xml b/launch-build.xml
index 0103d3664..753ef2bc9 100644
--- a/launch-build.xml
+++ b/launch-build.xml
@@ -21,7 +21,11 @@
         Build file be able to launch the boostrap build of Ant on every supported platform
     </description>
     
-    <property name="args" value="allclean test -Dignore.tests.failed=true -Doptional.jars.whenmanifestonly=skip" />
+    <property name="default-args" value="allclean test -Dignore.tests.failed=true -Doptional.jars.whenmanifestonly=skip" />
+    <condition property="args" value="${default-args} -Djenkins=t">
+      <isset property="jenkins"/>
+    </condition>
+    <property name="args" value="${default-args}" />
 
     <condition property="launch.cmd" value="${basedir}/build.sh">
         <os family="unix" />