X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fdata-crash.sh;h=b1d453a8bce178977e4c2033b883f200bc8aafcf;hb=1a9d3c43ecae725e30a2cdaf8e3b6612a1107b37;hp=73bca66ad40b50fe0546f390f864150cee9fdcd5;hpb=30ef6754efa1df7b8f3e30b63e81d739a3a50171;p=pspp

diff --git a/tests/bugs/data-crash.sh b/tests/bugs/data-crash.sh
index 73bca66ad4..b1d453a8bc 100755
--- a/tests/bugs/data-crash.sh
+++ b/tests/bugs/data-crash.sh
@@ -55,7 +55,7 @@ EOF
 if [ $? -ne 0 ] ; then no_result ; fi
 
 
-$here/../src/pspp $TEMPDIR/ct.stat > /dev/null
+$SUPERVISOR $here/../src/pspp $TEMPDIR/ct.stat > /dev/null
 if [ $? -ne 1 ] ; then fail ; fi