Andrew's git
/
gitweb.git
/ blobdiff
summary
|
log
|
commit
|
diff
|
tree
commit
grep
author
committer
pickaxe
?
re
travis-ci: record and skip successfully built trees
[gitweb.git]
/
ci
/
run-static-analysis.sh
diff --git
a/ci/run-static-analysis.sh
b/ci/run-static-analysis.sh
index 68dd0f080e88983a1be250ed2e4c9f9d8cf144f2..fe4ee4e06b1e33d3ee1cd9022df06c960dd8d75b 100755
(executable)
--- a/
ci/run-static-analysis.sh
+++ b/
ci/run-static-analysis.sh
@@
-6,3
+6,5
@@
. ${0%/*}/lib-travisci.sh
make coccicheck
+
+save_good_tree