mirror of https://gerrit.osmocom.org/osmo-ci
12 lines
531 B
Plaintext
12 lines
531 B
Plaintext
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.
|