diff options
| author | Jason Merrill <jason@gcc.gnu.org> | 2019-10-21 23:30:48 -0400 |
|---|---|---|
| committer | Jason Merrill <jason@gcc.gnu.org> | 2019-10-21 23:30:48 -0400 |
| commit | 8c72657917ad7b9160c36a5b7b240b3389da8eec (patch) | |
| tree | 02bda193a55a00f580536252ac28d24754cf9e42 | |
| parent | 678a1e990a478503bfcf9c932f864da1a489586c (diff) | |
| download | gcc-8c72657917ad7b9160c36a5b7b240b3389da8eec.zip gcc-8c72657917ad7b9160c36a5b7b240b3389da8eec.tar.gz gcc-8c72657917ad7b9160c36a5b7b240b3389da8eec.tar.bz2 | |
* lock-and-run.sh: Tweak command order.
From-SVN: r277279
| -rw-r--r-- | gcc/lock-and-run.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/lock-and-run.sh b/gcc/lock-and-run.sh index 22bc436..a1360ad 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 |