X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Ft-test-with-temp.sh;h=b7803d20a163e68e45508f953c604d8dc2114514;hb=c87fb686f323f651a1d3f3892c31bf66788916d9;hp=e77ca799ea7ce0d3dca1570b12dd1ae4d0b21b89;hpb=f903a8263cb82efeaa72eaab68252bd740778ffa;p=pspp

diff --git a/tests/bugs/t-test-with-temp.sh b/tests/bugs/t-test-with-temp.sh
index e77ca799ea..b7803d20a1 100755
--- a/tests/bugs/t-test-with-temp.sh
+++ b/tests/bugs/t-test-with-temp.sh
@@ -64,7 +64,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 
 
 activity="run program"
-$here/../src/pspp -o raw-ascii $TEMPDIR/out.stat
+$SUPERVISOR $here/../src/pspp -o raw-ascii $TEMPDIR/out.stat
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="copy output"