From 8c72657917ad7b9160c36a5b7b240b3389da8eec Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Mon, 21 Oct 2019 23:30:48 -0400 Subject: [PATCH] * lock-and-run.sh: Tweak command order. From-SVN: r277279 --- gcc/lock-and-run.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gcc/lock-and-run.sh b/gcc/lock-and-run.sh index 22bc436565c..a1360adab52 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