X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcoverage.sh;h=3a210783c2fed0b507cd50f67c12aa23119c7ee0;hb=refs%2Fheads%2Fpivot-table2;hp=da330e9f96e03be457d1967faf75e6f3bfa1e8b1;hpb=05e356b2a3087e819ef3b5388e29c822f41502e1;p=pspp

diff --git a/tests/coverage.sh b/tests/coverage.sh
index da330e9f96..3a210783c2 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
 
@@ -44,6 +47,6 @@ FREQUENCIES /COVERAGE
 
 EOF
 
-src/pspp -o html $TEMPDIR/cov.sps
+src/pspp -o pspp.html $TEMPDIR/cov.sps
 
 rm -rf $TEMPDIR