X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fif_crash.sh;h=c2f3798040ac85d4c65af05b7d71c1a2f51f7f42;hb=dcd7e905755e831af27550a052cd9f2c7c0aa427;hp=fc3417b72b706ba2d53021bc0da940db44b77a90;hpb=7f3ac8559f71179a95fad28a30882ca476d8ac99;p=pspp diff --git a/tests/bugs/if_crash.sh b/tests/bugs/if_crash.sh index fc3417b72b..c2f3798040 100755 --- a/tests/bugs/if_crash.sh +++ b/tests/bugs/if_crash.sh @@ -17,6 +17,7 @@ export STAT_CONFIG_PATH cleanup() { + cd / rm -rf $TEMPDIR }