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

diff --git a/tests/bugs/random.sh b/tests/bugs/random.sh
index 72da71fcd5..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
 
+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
 --------