| commit | 4ad5c46fa1a3c734d44bcfa01d309509266cbc5d | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sat Nov 06 02:58:02 2021 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sat Nov 06 03:35:43 2021 -0400 |
| tree | 97bc61e0b57c2e6f059c1d06a8553e8aab1b7dbe | |
| parent | d6e569ff4b2cf8dc76d7944980f7a2488faa92fe [diff] [blame] |
ci: sync code coverage script; add headers check Change-Id: Idf31d4c029d0cc79f85c8ac8d4ed373d46c525dd
diff --git a/.jenkins.d/20-tests.sh b/.jenkins.d/20-tests.sh index 13ddf6e..e0d2977 100755 --- a/.jenkins.d/20-tests.sh +++ b/.jenkins.d/20-tests.sh
@@ -3,6 +3,7 @@ # Prepare environment rm -rf ~/.ndn +ndnsec key-gen "/tmp/jenkins/$NODE_NAME" | ndnsec cert-install - # https://github.com/google/sanitizers/wiki/AddressSanitizerFlags ASAN_OPTIONS="color=always"