X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcommand%2Fsort.sh;h=c53c19720583637e6cce2353a13dc95a10057227;hb=60d7d619ee7885ad065f178eb0cf1e5d432b1921;hp=0f7dd17783f27f486f3359aceb1b0b6cd202e9b1;hpb=79240dcf50d4d2f9b2742ff4638d8cf8969c2f98;p=pspp

diff --git a/tests/command/sort.sh b/tests/command/sort.sh
index 0f7dd17783..c53c197205 100755
--- a/tests/command/sort.sh
+++ b/tests/command/sort.sh
@@ -58,7 +58,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 activity="run program"
-$here/../src/pspp -o raw-ascii $TEMPDIR/sort.stat
+$SUPERVISOR $here/../src/pspp -o raw-ascii $TEMPDIR/sort.stat
 if [ $? -ne 0 ] ; then no_result ; fi
 
 # Now there should be some sorted data in $TEMPDIR/pspp.list