commit | 6549597c9c288b628344e5c09e1ece98ac3db8de | [log] [tgz] |
---|---|---|
author | Carlos Sanchez <carlos@apache.org> | Wed Jan 13 09:10:02 2016 +0100 |
committer | Carlos Sanchez <carlos@apache.org> | Wed Jan 13 09:10:02 2016 +0100 |
tree | 91cb5e37d9f13cb6c64376b9ae82fe637930704c | |
parent | d01d3d78f9fb9db1f08ba762f993065472029145 [diff] |
Fix bad dir name when it contains spaces Fixes #183
diff --git a/jenkins.sh b/jenkins.sh index aec9393..86e1c57 100755 --- a/jenkins.sh +++ b/jenkins.sh
@@ -10,7 +10,7 @@ f="${1%/}" echo "$f" >> "$COPY_REFERENCE_FILE_LOG" rel="${f:23}" - dir="$(dirname ${f})" + dir=$(dirname "${f}") echo " $f -> $rel" >> "$COPY_REFERENCE_FILE_LOG" if [[ ! -e /var/jenkins_home/${rel} ]] then