Skip to content
Permalink
Browse files

Hack part 2: only run patches if JENKINS_HOME is set

  • Loading branch information...
Dazzozo committed May 23, 2013
1 parent 644c4b3 commit 8dfbf0ab8ab2f81a1d074bc04909fc6086257445
Showing with 5 additions and 2 deletions.
  1. +5 −2 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

0 comments on commit 8dfbf0a

Please sign in to comment.
You can’t perform that action at this time.