X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcoverage.sh;h=de91adc6dcc8e7fad6e8408863dddd9869a46c6e;hb=163b1639eab9b48eab64752205d75f951547b5c7;hp=da330e9f96e03be457d1967faf75e6f3bfa1e8b1;hpb=05e356b2a3087e819ef3b5388e29c822f41502e1;p=pspp-builds.git

diff --git a/tests/coverage.sh b/tests/coverage.sh
index da330e9f..de91adc6 100755
--- a/tests/coverage.sh
+++ b/tests/coverage.sh
@@ -6,18 +6,21 @@
 # To use it: 
 # 
 # make distclean
-# export CFLAGS="-O0 -g -fprofile-arcs -ftest-coverage"
+# CFLAGS="-O0 -g -fprofile-arcs -ftest-coverage"
+# export CFLAGS
 # ./configure
 # make check
 # tests/coverage.sh
 
-export TEMPDIR=/tmp/pspp-cov-$$
+TEMPDIR=/tmp/pspp-cov-$$
+export TEMPDIR
 
 mkdir -p $TEMPDIR
 
 files=`find src -name '*.c'`
 
-export summary_file="$TEMPDIR/coverage.txt"
+summary_file="$TEMPDIR/coverage.txt"
+export summary_file
 
 rm -f $summary_file