summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEdward Hervey <bilboed@bilboed.com>2014-11-26 15:10:28 +0100
committerEdward Hervey <bilboed@bilboed.com>2014-11-26 15:10:28 +0100
commit079f4413a3928ce7f2f14d20f04cb0c4ca695fa9 (patch)
tree75679fb5fe32c271a57e98f2b04f178b36bf8000
parent19c0d2eb7bba2a6910cda37457b1f0c14c6699d1 (diff)
commit-repo: fix check
-rwxr-xr-xcommit-repo-tag.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/commit-repo-tag.sh b/commit-repo-tag.sh
index 6fe0677..a9689de 100755
--- a/commit-repo-tag.sh
+++ b/commit-repo-tag.sh
@@ -15,7 +15,7 @@
# Important: repo sync should have been done before
# Build branch where new manifest will be stored
-if [-z $BUILD_BRANCH ];
+if [ -z $BUILD_BRANCH ];
then
BUILD_BRANCH=jenkins-build-branch
fi