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

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