Commit Graph
2 Commits
Author SHA1 Message Date
Frantisek Sumsal d7a137510a coverity: explicitly use bash instead of sh
On Ubuntu `/bin/sh` is a symlink to `/bin/dash`, which doesn't support
certain builtins used by the Coverity script (namely pushd/popd)
2019-11-05 13:28:13 -08:00
Frantisek Sumsal c204e3d610 travis: automate Coverity builds 2019-11-01 23:22:57 -07:00