diff options
Diffstat (limited to 'README.adoc')
-rw-r--r-- | README.adoc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/README.adoc b/README.adoc index 1174262..796d148 100644 --- a/README.adoc +++ b/README.adoc @@ -1 +1,11 @@ Scripts used for the CI handling and coverity uploads + +coverity: scripts used to submit the osmocom sources for coverity scan. +This depends on these, which are not included in osmo-ci: +- a tokens.txt file in coverity/ -- see coverity/get_token.sh +- a cov-analysis-linux64-8.5.0 in coverity/ + (or the like, may need to adjust some scripts to match) + +scripts: used by jenkins jobs. Various osmo*/contrib/jenkins.sh scripts assume +osmo-ci to be checked out in the build slave user's home, i.e. using a PATH of +$HOME/osmo-ci/scripts. |