X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=tests%2Fbugs%2Fdata-crash.sh;h=b96c476ed9b4e2112cd9d14a02dec509dbef0845;hb=3a66b403c8856da07a1de12c96e163971909e29a;hp=d005680d3503d6af359fd438d6c6c96bd6a33747;hpb=bc51900253384a031401ef7a68674e350dc8225f;p=pspp

diff --git a/tests/bugs/data-crash.sh b/tests/bugs/data-crash.sh
index d005680d35..b96c476ed9 100755
--- a/tests/bugs/data-crash.sh
+++ b/tests/bugs/data-crash.sh
@@ -4,6 +4,7 @@
 # invalid input
 
 TEMPDIR=/tmp/pspp-tst-$$
+TESTFILE=$TEMPDIR/`basename $0`.sps
 
 here=`pwd`;