X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fbeg-data.sh;h=382e2a036594c327b3700e3892805927872c3395;hb=f85548f27a1958bb6c84a6917b874c537f4c0bd6;hp=cdbf0a6b0e24cbc5defc8cb2ae923b413bbbb7bb;hpb=362ef6aa0dde26bc7ae7b2c042b47f96b8b1bca1;p=pspp

diff --git a/tests/command/beg-data.sh b/tests/command/beg-data.sh
index cdbf0a6b0e..382e2a0365 100755
--- a/tests/command/beg-data.sh
+++ b/tests/command/beg-data.sh
@@ -84,7 +84,7 @@ if [ $? -ne 0 ] ; then no_result ; fi
 
 
 activity="run program"
-$here/../src/pspp -o raw-ascii $TEMPDIR/prog.sps
+$SUPERVISOR $here/../src/pspp -o raw-ascii $TEMPDIR/prog.sps
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="compare data"