Hack part 2: only run patches if JENKINS_HOME is set

dazjo · May 24, 2013 · 8dfbf0a · 8dfbf0a
1 parent 644c4b3
commit 8dfbf0a
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/vendorsetup.sh b/vendorsetup.sh
@@ -1,2 +1,5 @@
-# Run device patches on the tree. I'm lazy and this is easy for nightly builds.
-sh device/huawei/u8815/patches/apply.sh
+if [ ! -z "$JENKINS_HOME" ]
+then
+  # If we're Jenkins, run device patches on the tree. I'm lazy and this is easy for nightly builds.
+  sh device/huawei/u8815/patches/apply.sh
+fi