summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRiku Voipio <riku.voipio@linaro.org>2015-09-07 16:24:19 +0300
committerRiku Voipio <riku.voipio@linaro.org>2015-09-07 16:24:19 +0300
commit3658f0a307764210e89a90020fca94b2bb91d870 (patch)
tree48d1d67770ef3890c1d43e8acb01114b17371646
parentc78bd9007cc68393bc6fba6d2ba00f3559586444 (diff)
downloadubuntu-packaging-tools-3658f0a307764210e89a90020fca94b2bb91d870.tar.gz
make template file optional
-rwxr-xr-xjenkins-makesources4
1 files changed, 2 insertions, 2 deletions
diff --git a/jenkins-makesources b/jenkins-makesources
index 8482c5b..bd49794 100755
--- a/jenkins-makesources
+++ b/jenkins-makesources
@@ -22,9 +22,9 @@
set -e
-if [ -r $1 ];
+if [ -r "$1" ];
then
- source $1
+ source "$1"
fi
base_version=${base_version:-0}