X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Ftest_template;h=bb1c17ee90aa1229f83a7b26df86373620d2305b;hb=bcbf95b3fbf812c42bd352943a9b358fa584deef;hp=bb862fefd892b40eea8f6a597507f5e5e6498f60;hpb=916d376c0868edf6d271a4fe9fdc96107f69002f;p=pspp

diff --git a/tests/test_template b/tests/test_template
index bb862fefd8..bb1c17ee90 100755
--- a/tests/test_template
+++ b/tests/test_template
@@ -11,6 +11,8 @@ 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
 
 
@@ -56,7 +58,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 no_result ; fi