X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fcoverage.sh;h=3a210783c2fed0b507cd50f67c12aa23119c7ee0;hb=d3e294c031bb767336435d2f0048994103fcd47a;hp=de91adc6dcc8e7fad6e8408863dddd9869a46c6e;hpb=7f3ac8559f71179a95fad28a30882ca476d8ac99;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