jenkins: Only do scan-builds on nightly builds.
authorJustus Winter <justus@g10code.com>
Thu, 15 Dec 2016 10:04:01 +0000 (11:04 +0100)
committerJustus Winter <justus@g10code.com>
Thu, 15 Dec 2016 10:04:16 +0000 (11:04 +0100)
commit76d1d716ba2fa6ebe0a4d9d6597d2facd36614ae
tree0a95aa4269ce5dfd6e295e19f14a09aeaa3b93de
parent567ca86d3fe4b56f47b7c241fd4dcd938a3b0c35
jenkins: Only do scan-builds on nightly builds.
misc/jenkins/bin/build.bash