X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Frandom.sh;h=1e0e55e296253fa3942f6377d2c00b77ef9604c2;hb=def7e6026513a3ee7c2b38416b30a2e890e34311;hp=72da71fcd5436841d553c05a76fb6c331126ac93;hpb=c87013b64d1731dac5da8f738ae8d1b4c1030a90;p=pspp-builds.git

diff --git a/tests/bugs/random.sh b/tests/bugs/random.sh
index 72da71fc..1e0e55e2 100755
--- a/tests/bugs/random.sh
+++ b/tests/bugs/random.sh
@@ -63,10 +63,12 @@ list.
 EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
+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
 --------