X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Ffile-label.sh;h=931d0c11af14420816fc21c183868760300717a9;hb=06f9ee45954e5e71fa7f6262dbf37defa1dbf996;hp=f69e79d28a8f6ebd021573ccfa7a90d151e83411;hpb=c0ed03fd27298cf2b18f0fb373e919ab8b4ae4f4;p=pspp

diff --git a/tests/command/file-label.sh b/tests/command/file-label.sh
index f69e79d28a..931d0c11af 100755
--- a/tests/command/file-label.sh
+++ b/tests/command/file-label.sh
@@ -104,7 +104,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="run program"
-$here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/file-lab.stat
+$SUPERVISOR $here/../src/pspp --testing-mode -o raw-ascii $TEMPDIR/file-lab.stat
 if [ $? -ne 0 ] ; then no_result ; fi
 
 # We need to filter out the dates/times