diff options
Diffstat (limited to 'jenkins-makesources')
-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} |