X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fbig-input.sh;h=740147ea75ba194d270fc8c17b8b31aff9140ebe;hb=3a66b403c8856da07a1de12c96e163971909e29a;hp=d15cde4e12f28f24ba1398989df17b2500b2c483;hpb=bc51900253384a031401ef7a68674e350dc8225f;p=pspp

diff --git a/tests/bugs/big-input.sh b/tests/bugs/big-input.sh
index d15cde4e12..740147ea75 100755
--- a/tests/bugs/big-input.sh
+++ b/tests/bugs/big-input.sh
@@ -5,6 +5,7 @@
 
 
 TEMPDIR=/tmp/pspp-tst-$$
+TESTFILE=$TEMPDIR/`basename $0`.sps
 
 here=`pwd`;