X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fcompression.sh;h=5b7178d28a594bc6cf515c9121a9655b7ad0c601;hb=08e4a9535a7e1de9cc4b6e619e70805ab951b323;hp=e705480c4ce10bf78e5f73736f835a64159be76d;hpb=916d376c0868edf6d271a4fe9fdc96107f69002f;p=pspp-builds.git

diff --git a/tests/bugs/compression.sh b/tests/bugs/compression.sh
index e705480c..5b7178d2 100755
--- a/tests/bugs/compression.sh
+++ b/tests/bugs/compression.sh
@@ -10,6 +10,7 @@ if [ -z "$top_srcdir" ] ; then top_srcdir=. ; fi
 if [ -z "$top_builddir" ] ; then top_builddir=. ; fi
 top_srcdir=`cd $top_srcdir; pwd`
 top_builddir=`cd $top_builddir; pwd`
+PSPP=$top_builddir/src/ui/terminal/pspp
 
 export STAT_CONFIG_PATH=$top_srcdir/config
 
@@ -71,7 +72,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 
 
 activity="run program"
-$SUPERVISOR $top_builddir/src/pspp --testing-mode -o raw-ascii $TESTFILE
+$SUPERVISOR $PSPP --testing-mode -o raw-ascii $TESTFILE
 if [ $? -ne 0 ] ; then fail ; fi
 
 # Make sure the file really was compressed