diff options
Diffstat (limited to 'notes/lockfiles.mdwn')
| -rw-r--r-- | notes/lockfiles.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/notes/lockfiles.mdwn b/notes/lockfiles.mdwn index 197bba7..ce8df7f 100644 --- a/notes/lockfiles.mdwn +++ b/notes/lockfiles.mdwn @@ -30,7 +30,7 @@ subshell. Probably optimal. Check for parent process ID and re-execute. `if ! grep -q lckdo /proc/$PPID/cmdline; then - exec lckdo /tmp/lckdotest $0 "$@" + exec lckdo /tmp/lckdotest $0 "$@"; fi` ## chiark-utils-bin's with-lock-ex |