summaryrefslogtreecommitdiff
path: root/coverage
diff options
context:
space:
mode:
authorpelissip <pelissip@280ebfd0-de03-0410-8827-d642c229c3f4>2005-05-17 10:12:30 +0000
committerpelissip <pelissip@280ebfd0-de03-0410-8827-d642c229c3f4>2005-05-17 10:12:30 +0000
commitd35654a271ec743f4587dc0cddfa5743d723dbbb (patch)
treeeca33450407d7804ceea7cc4bd351200554286da /coverage
parent09f43278a81bb1cf5e67ce5ca28a32dd1cf39e03 (diff)
downloadmpfr-d35654a271ec743f4587dc0cddfa5743d723dbbb.tar.gz
Typo
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@3564 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'coverage')
-rwxr-xr-xcoverage2
1 files changed, 1 insertions, 1 deletions
diff --git a/coverage b/coverage
index 49a3b1b00..5fc7c7b40 100755
--- a/coverage
+++ b/coverage
@@ -72,4 +72,4 @@ fi
find . -name '*.c' -exec gcov -f '{}' ';' | bash coverage.subscript > coverage.mpfr
rm -f coverage.subscript coverage-tmp
-echo "Coverage summary saved in file /tmp/ompfr-gcov[5~/coverage.mpfr"
+echo "Coverage summary saved in file /tmp/ompfr-gcov/coverage.mpfr"