]> The Tcpdump Group git mirrors - tcpdump/commit
Travis: use travis_terminate instead of exit in script:.
authorGuy Harris <[email protected]>
Sat, 9 Jan 2021 05:23:58 +0000 (21:23 -0800)
committerGuy Harris <[email protected]>
Sat, 9 Jan 2021 05:23:58 +0000 (21:23 -0800)
commita679644b4637a2a93d9f124eb3287bdec6879012
treef30f0738f3f8434c49accbca5e8de2978fc56899
parent503c8b4cf9f93b2611456351361724e1fcc14c18
Travis: use travis_terminate instead of exit in script:.

That was the Travis maintainer's recommendation to fix the hang we were
seeing on non-x86-64 Linux coverity_scan builds.
.travis.yml