The interesting part is whether the build has picked up the optional
libraries that were present and whether AddressSanitizer was enabled
(this is yet to be sorted in some reasonable way).
- if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then make check; fi
- if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then ./tcpdump -D; fi
- if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then ./tcpdump -J; fi
+ - if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then ./tcpdump --version; fi