X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fautorecod.sh;h=01c90904a230f6750b1c0b76f0a19db7aabd5bcd;hb=2ad415080cf54a0edde466fc954b7e207779b95e;hp=2ef03f9f25c48487268adb59335de5353cd4e762;hpb=362ef6aa0dde26bc7ae7b2c042b47f96b8b1bca1;p=pspp

diff --git a/tests/command/autorecod.sh b/tests/command/autorecod.sh
index 2ef03f9f25..01c90904a2 100755
--- a/tests/command/autorecod.sh
+++ b/tests/command/autorecod.sh
@@ -73,7 +73,7 @@ EOF
 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="test output"