X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Frandom.sh;h=1e0e55e296253fa3942f6377d2c00b77ef9604c2;hb=c87fb686f323f651a1d3f3892c31bf66788916d9;hp=cb7fb06a31780b186a1d610f944ab4896a689f79;hpb=f61e279fa8d35fa2f9c5ef6d5d0e628147ccde60;p=pspp

diff --git a/tests/bugs/random.sh b/tests/bugs/random.sh
index cb7fb06a31..1e0e55e296 100755
--- a/tests/bugs/random.sh
+++ b/tests/bugs/random.sh
@@ -63,10 +63,12 @@ list.
 EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
-$here/../src/pspp -o raw-ascii $TEMPDIR/rnd.sps
+activity="run program"
+$SUPERVISOR $here/../src/pspp -o raw-ascii $TEMPDIR/rnd.sps
 if [ $? -ne 0 ] ; then no_result ; fi
 
 
+activity="compare output"
 diff -b -B -w $TEMPDIR/pspp.list - << EOF
       R1
 --------