X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fbignum.sh;h=1ccc09ba4fa59ca1a0a5b02a92041d20653fd7b9;hb=2ad415080cf54a0edde466fc954b7e207779b95e;hp=17cc55197a96b380bff4172f5958d91bd28ba887;hpb=7ee0b85d700d99fc3cba91c37da31e3d01ac0f47;p=pspp

diff --git a/tests/command/bignum.sh b/tests/command/bignum.sh
index 17cc55197a..1ccc09ba4f 100755
--- a/tests/command/bignum.sh
+++ b/tests/command/bignum.sh
@@ -147,7 +147,7 @@ foobar
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="run program"
-$here/../src/pspp -o raw-ascii prog.stat
+$SUPERVISOR $here/../src/pspp -o raw-ascii prog.stat
 if [ $? -ne 0 ] ; then no_result ; fi
 
 # Like the above comments say ...