commit | d01d3d78f9fb9db1f08ba762f993065472029145 | [log] [tgz] |
---|---|---|
author | Carlos Sanchez <carlos@apache.org> | Mon Dec 14 11:35:32 2015 +0100 |
committer | Carlos Sanchez <carlos@apache.org> | Mon Dec 14 11:35:37 2015 +0100 |
tree | 02ec088782ced3ac47edf9628908969542d8781d | |
parent | c6152babac2862c05ece90e3df1236f44e334b31 [diff] |
Issue #177 Print a warning if can't write to jenkins home
diff --git a/jenkins.sh b/jenkins.sh index eeed64b..aec9393 100755 --- a/jenkins.sh +++ b/jenkins.sh
@@ -22,6 +22,7 @@ fi; } export -f copy_reference_file +touch "${COPY_REFERENCE_FILE_LOG}" || echo "Can not write to ${COPY_REFERENCE_FILE_LOG}. Wrong volume permissions?" echo "--- Copying files at $(date)" >> "$COPY_REFERENCE_FILE_LOG" find /usr/share/jenkins/ref/ -type f -exec bash -c "copy_reference_file '{}'" \;