X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Fif_crash.sh;h=fc3417b72b706ba2d53021bc0da940db44b77a90;hb=3a08f50a64c06186b68756036e3b5b9f52deffa5;hp=a2bb34fa0c4ae04a9823d7cf7e0e6d6e1a7a2035;hpb=067d02c2b8c591efc368cf5127c497313d7a373f;p=pspp

diff --git a/tests/bugs/if_crash.sh b/tests/bugs/if_crash.sh
index a2bb34fa0c..fc3417b72b 100755
--- a/tests/bugs/if_crash.sh
+++ b/tests/bugs/if_crash.sh
@@ -11,7 +11,8 @@ here=`pwd`;
 # ensure that top_srcdir is absolute
 cd $top_srcdir; top_srcdir=`pwd`
 
-export STAT_CONFIG_PATH=$top_srcdir/config
+STAT_CONFIG_PATH=$top_srcdir/config
+export STAT_CONFIG_PATH
 
 
 cleanup()