See <https://jenkins.osmocom.org/jenkins/job/osmocom-coverity/1153/display/redirect>

Changes:


------------------------------------------
Started by timer
Started by user laforge
Rebuilds build #1152
Running as SYSTEM
Building remotely on gtp0-deb9build (ttcn3 osmo-gsm-tester-build osmocom-gerrit-debian9 osmocom-master-debian9 coverity) in workspace <https://jenkins.osmocom.org/jenkins/job/osmocom-coverity/ws/>
No credentials specified
Wiping out workspace first.
Cloning the remote Git repository
Cloning repository git://git.osmocom.org/osmo-ci
 > git init <https://jenkins.osmocom.org/jenkins/job/osmocom-coverity/ws/> # timeout=10
Fetching upstream changes from git://git.osmocom.org/osmo-ci
 > git --version # timeout=10
 > git fetch --tags --progress -- git://git.osmocom.org/osmo-ci +refs/heads/*:refs/remotes/origin/* # timeout=10
 > git config remote.origin.url git://git.osmocom.org/osmo-ci # timeout=10
 > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
 > git config remote.origin.url git://git.osmocom.org/osmo-ci # timeout=10
Fetching upstream changes from git://git.osmocom.org/osmo-ci
 > git fetch --tags --progress -- git://git.osmocom.org/osmo-ci +refs/heads/*:refs/remotes/origin/* # timeout=10
 > git rev-parse refs/remotes/origin/master^{commit} # timeout=10
 > git rev-parse refs/remotes/origin/origin/master^{commit} # timeout=10
Checking out Revision f6d567885d20dbfd80bffeed29fade04ffe4b077 (refs/remotes/origin/master)
 > git config core.sparsecheckout # timeout=10
 > git checkout -f f6d567885d20dbfd80bffeed29fade04ffe4b077 # timeout=10
Commit message: "jobs/ttcn3: split *-kernel-git to own file"
 > git rev-list --no-walk f6d567885d20dbfd80bffeed29fade04ffe4b077 # timeout=10
[osmocom-coverity] $ /bin/sh -xe /tmp/jenkins992833841991159905.sh
+ cd /home/osmocom-build/osmo-ci/coverity
+ export PATH=/usr/local/bin:/usr/bin:/bin:/usr/games:/home/osmocom-build/bin:/opt/coverity/current/bin
+ ./jenkins.sh
+ base_dir=/home/osmocom-build/osmo-ci/coverity
+ src_dir=/home/osmocom-build/osmo-ci/coverity/source-Osmocom
+ cov_dir=/home/osmocom-build/osmo-ci/coverity/source-Osmocom/cov-int
+ rm -rf /home/osmocom-build/osmo-ci/coverity/source-Osmocom
+ ./prepare_source_Osmcocom.sh
Cloning into 'asn1c'...
Cloning into 'libasn1c'...
Cloning into 'libosmo-abis'...
Cloning into 'libosmocore'...
Cloning into 'libosmo-dsp'...
Cloning into 'libosmo-netif'...
Cloning into 'libosmo-sccp'...
Cloning into 'libsmpp34'...
Cloning into 'osmo-bsc'...
Cloning into 'osmo-msc'...
Cloning into 'osmo-mgw'...
Cloning into 'osmo-ggsn'...
Cloning into 'osmo-sgsn'...
Cloning into 'osmo-bts'...
Cloning into 'osmo-gmr'...
Cloning into 'osmo-iuh'...
Cloning into 'osmo-pcu'...
Cloning into 'osmo-sysmon'...
Cloning into 'osmo-sip-connector'...
Cloning into 'osmo-trx'...
Cloning into 'osmo-hlr'...
Cloning into 'osmocom-bb'...
Cloning into 'osmo-smlc'...
Cloning into 'layer1-api'...
+ export PATH=/home/osmocom-build/osmo-ci/coverity/cov-analysis-linux64-8.5.0/bin/:/usr/local/bin:/usr/bin:/bin:/usr/games:/home/osmocom-build/bin:/opt/coverity/current/bin
+ PATH=/home/osmocom-build/osmo-ci/coverity/cov-analysis-linux64-8.5.0/bin/:/usr/local/bin:/usr/bin:/bin:/usr/games:/home/osmocom-build/bin:/opt/coverity/current/bin
+ rm -rf /home/osmocom-build/osmo-ci/coverity/source-Osmocom/cov-int
+ cov-build --dir /home/osmocom-build/osmo-ci/coverity/source-Osmocom/cov-int ./build_Osmocom.sh
./jenkins.sh: line 15: cov-build: command not found
Build step 'Execute shell' marked build as failure