do use $$ in path names, so that multiple
runs on the same machine don't collide.
R=r
DELTA=4 (0 added, 1 deleted, 3 changed)
OCL=30426
CL=30429
diff --git a/test/run b/test/run
index 63dca3b..9ef2746 100755
--- a/test/run
+++ b/test/run
@@ -26,10 +26,9 @@
PATH=/bin:/usr/bin:$HOME/bin:`pwd`
-# don't use $$ in file names to avoid spurious diffs
-RUNFILE=/tmp/gorun-$USER
-TMP1FILE=/tmp/gotest1-$USER
-TMP2FILE=/tmp/gotest2-$USER
+RUNFILE=/tmp/gorun-$$-$USER
+TMP1FILE=/tmp/gotest1-$$-$USER
+TMP2FILE=/tmp/gotest2-$$-$USER
# don't run the machine out of memory: limit individual processes to 4GB.
# on thresher, 3GB suffices to run the tests; with 2GB, peano fails.
