X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fprint-crash.sh;h=22b215660708b355e9780b563080a0caec5fab0c;hb=44f29acfd15c65be5c02cb2f3b400cfb05c6241b;hp=08f9615f995ef5db0072e1f9d9386430578f6222;hpb=74cfe5c070a0810cf43c0981daa53dcea3a8ee3d;p=pspp-builds.git diff --git a/tests/bugs/print-crash.sh b/tests/bugs/print-crash.sh index 08f9615f..22b21566 100755 --- a/tests/bugs/print-crash.sh +++ b/tests/bugs/print-crash.sh @@ -24,6 +24,7 @@ cleanup() echo "NOT cleaning $TEMPDIR" return ; fi + cd / rm -rf $TEMPDIR }