diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2015-09-07 16:24:19 +0300 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2015-09-07 16:24:19 +0300 |
commit | 3658f0a307764210e89a90020fca94b2bb91d870 (patch) | |
tree | 48d1d67770ef3890c1d43e8acb01114b17371646 | |
parent | c78bd9007cc68393bc6fba6d2ba00f3559586444 (diff) |
make template file optional
-rwxr-xr-x | jenkins-makesources | 4 |
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} |