X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcoverage.sh;h=3a210783c2fed0b507cd50f67c12aa23119c7ee0;hb=f51ecb48027e6b1eb46840ae25888a25b429f012;hp=de91adc6dcc8e7fad6e8408863dddd9869a46c6e;hpb=cfbbebdd6b3085f4094c073e4ebd139ac1d37737;p=pspp-builds.git

diff --git a/tests/coverage.sh b/tests/coverage.sh
index de91adc6..3a210783 100755
--- a/tests/coverage.sh
+++ b/tests/coverage.sh
@@ -47,6 +47,6 @@ FREQUENCIES /COVERAGE
 
 EOF
 
-src/pspp -o html $TEMPDIR/cov.sps
+src/pspp -o pspp.html $TEMPDIR/cov.sps
 
 rm -rf $TEMPDIR