diff options
| author | Christian Grothoff <christian@grothoff.org> | 2012-09-17 20:37:06 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2012-09-17 20:37:06 +0000 |
| commit | ad24ace39ab1da4d3799e1dc73c9d0ccf77616d2 (patch) | |
| tree | 97765b5bfdee3768b8b2b032078590c0de39f0b8 /contrib | |
| parent | ab425eef0ff9424dfa3bb43764ba4bc56b263e8a (diff) | |
| download | gnunet-ad24ace39ab1da4d3799e1dc73c9d0ccf77616d2.tar.gz gnunet-ad24ace39ab1da4d3799e1dc73c9d0ccf77616d2.zip | |
-also exclude perf
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/coverage.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/coverage.sh b/contrib/coverage.sh index b53a38282..dd6a6ab53 100755 --- a/contrib/coverage.sh +++ b/contrib/coverage.sh | |||
| @@ -2,7 +2,7 @@ | |||
| 2 | # make sure configure was run with coverage enabled... | 2 | # make sure configure was run with coverage enabled... |
| 3 | lcov --directory . --zerocounters | 3 | lcov --directory . --zerocounters |
| 4 | make check | 4 | make check |
| 5 | rm `find * -name "test_*.gc??"` | 5 | rm `find * -name "test_*.gc??"` `find * -name "perf_*.gc??"` |
| 6 | for n in `find * -name "*.gc??" | grep libs` | 6 | for n in `find * -name "*.gc??" | grep libs` |
| 7 | do | 7 | do |
| 8 | cd `dirname $n` | 8 | cd `dirname $n` |