X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Flag.sh;h=77ec38e8538bb452b5c5e44f4c9c7e87ae50e210;hb=c87fb686f323f651a1d3f3892c31bf66788916d9;hp=db7c2969325a9f2db934d02dfa921d903b0350c6;hpb=b26094b483f97d89025df65a30523a65e716790a;p=pspp

diff --git a/tests/command/lag.sh b/tests/command/lag.sh
index db7c296932..77ec38e853 100755
--- a/tests/command/lag.sh
+++ b/tests/command/lag.sh
@@ -64,7 +64,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="run program"
-$here/../src/pspp -o raw-ascii $TEMPDIR/lag.stat
+$SUPERVISOR $here/../src/pspp -o raw-ascii $TEMPDIR/lag.stat
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="compare result"