| commit | 1944281719ae1ac36adb1f8b3a6c17855f92cb25 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davide.pesavento@lip6.fr> | Fri Nov 23 14:00:04 2018 -0500 |
| committer | Davide Pesavento <davide.pesavento@lip6.fr> | Fri Nov 23 18:27:19 2018 -0500 |
| tree | a39c4928bf1c21969fe4ed8da1cc4a46a7ab8c9f | |
| parent | 3e3a989096055bcf8134c5578941edbd443ae94d [diff] [blame] |
Rename 'src' directory to 'ndn-cxx' Change-Id: I14394023680901a86977313ca87fb017333614dd Refs: #3084
diff --git a/.jenkins.d/30-coverage.sh b/.jenkins.d/30-coverage.sh index 5910069..92f2bb8 100755 --- a/.jenkins.d/30-coverage.sh +++ b/.jenkins.d/30-coverage.sh
@@ -9,7 +9,7 @@ if [[ $JOB_NAME == *"code-coverage" ]]; then gcovr --object-directory=build \ --output=build/coverage.xml \ - --filter="$PWD/src" \ + --filter="$PWD/ndn-cxx" \ --root=. \ --xml