mirror of https://github.com/CGAL/cgal
Is that a typo?! The file should be writable, and not executable!
This commit is contained in:
parent
b201e832bd
commit
a12ef8ed3c
|
|
@ -881,7 +881,7 @@ if [ ${?} != 0 ]; then
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
# Make that file writable (lockfile create read-only files
|
# Make that file writable (lockfile create read-only files
|
||||||
chmod u+x "$LOCK_FILE"
|
chmod u+w "$LOCK_FILE"
|
||||||
# Put the PID of current process in the lock file
|
# Put the PID of current process in the lock file
|
||||||
echo $$ > "$LOCK_FILE"
|
echo $$ > "$LOCK_FILE"
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue