diff --git a/Scripts/developer_scripts/autotest_cgal b/Scripts/developer_scripts/autotest_cgal index 97488b57560..1f61951e1e3 100755 --- a/Scripts/developer_scripts/autotest_cgal +++ b/Scripts/developer_scripts/autotest_cgal @@ -902,7 +902,7 @@ chmod u+w "$LOCK_FILE" echo $$ > "$LOCK_FILE" # that line makes the script remove the lock file in case of unwanted exit -trap "rm -f $LOCK_FILE" EXIT HUP INT TERM +trap "rm -f \"$LOCK_FILE\"" EXIT HUP INT TERM # Notify test started if [ ! "${MAIL_ADDRESS}" = "must_be_set_in_.autocgalrc" ]; then