Skip to content

Commit

Permalink
Hack part 2: only run patches if JENKINS_HOME is set
Browse files Browse the repository at this point in the history
  • Loading branch information
Daz Jones committed May 23, 2013
1 parent 1272eff commit 6b23156
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions vendorsetup.sh
Original file line number Diff line number Diff line change
@@ -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.