From: jason Date: Tue, 22 Oct 2019 03:30:48 +0000 (+0000) Subject: * lock-and-run.sh: Tweak command order. X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7e375793ea78e55770ecd727cdba9de11607e4d5;p=thirdparty%2Fgcc.git * lock-and-run.sh: Tweak command order. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@277279 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/lock-and-run.sh b/gcc/lock-and-run.sh index 22bc436565cc..a1360adab52d 100644 --- a/gcc/lock-and-run.sh +++ b/gcc/lock-and-run.sh @@ -12,8 +12,9 @@ count=0 err () { if test -f $lockdir/lock-$1.$$; then - echo "$self: *** (PID $$) removing stale $lockdir" >&2 rm -rf $lockdir + echo "$self: *** (PID $$) removed stale $lockdir" >&2 + # Possible variant for uses where races are more problematic: #echo "$self: *** (PID $$) giving up, maybe rm -r $lockdir" >&2 #exit 42