Quote a path, to avoid errors if the path contains a space

2011-11-07 15:53:06 +00:00
parent 036659b204
commit dcdaff4622
1 changed files with 2 additions and 2 deletions
@@ -948,13 +948,13 @@ if [ -z "${DO_NOT_TEST}" ]; then
  run_test
 fi

-cd ${CGAL_ROOT}
+cd "${CGAL_ROOT}"

 if [ -e "LATEST" ]; then
  mv LATEST RELEASE_NR
 fi

-rm -f $LOCK_FILE;
+rm -f "$LOCK_FILE";

 # EOF