From a1d7e2279812234355ed9ee52a88f94cff57777f Mon Sep 17 00:00:00 2001 From: Mario Lang Date: Wed, 17 Sep 2008 13:23:24 +0200 Subject: Add PID into the tmpdir. --- runtests | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/runtests b/runtests index 8011401..85eac50 100755 --- a/runtests +++ b/runtests @@ -11,7 +11,7 @@ end=$NCPU HERE=$(pwd) while (( begin < end )); do - dir=/tmp/chess-test$((begin)) + dir=/tmp/chess-test-$$-$((begin)) rm -fr $dir mkdir $dir rsync -a --delete --exclude='*/' ./ $dir/ -- cgit v1.2.3