X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fbugs%2Flag_crash.sh;h=5636784d923deef359a024805a6eff8d86f578c7;hb=3a08f50a64c06186b68756036e3b5b9f52deffa5;hp=72683b282a9749ec004f97197411fe3e68c0222e;hpb=12f1ba95a6eb660bf60b8e6a1bb09ecffee16630;p=pspp

diff --git a/tests/bugs/lag_crash.sh b/tests/bugs/lag_crash.sh
index 72683b282a..5636784d92 100755
--- a/tests/bugs/lag_crash.sh
+++ b/tests/bugs/lag_crash.sh
@@ -10,7 +10,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()