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 1272eff commit 6b2315600390320a26f60564f9785e017fb903fd
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 6b23156

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