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

diff --git a/tests/coverage.sh b/tests/coverage.sh
index de91adc6dc..3a210783c2 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