Started by upstream project "<a href='/jenkins/job/gerrit-libosmocore/' class='jenkins-table__link model-link model-link--float'>gerrit-libosmocore</a>" build number <a href='/jenkins/job/gerrit-libosmocore/2090' class='jenkins-table__link model-link model-link--float'>2090</a>
originally caused by:
 Triggered by Gerrit: <a href='https://gerrit.osmocom.org/c/libosmocore/+/40921'>https://gerrit.osmocom.org/c/libosmocore/+/40921</a> in silent mode.
Running as SYSTEM
Building remotely on <a href='/jenkins/computer/build5-deb12build-ansible' class='jenkins-table__link model-link model-link--float'>build5-deb12build-ansible</a> (obs ttcn3_with_linux_6.1_or_higher qemu registry-build-amd64 ttcn3 osmo-gsm-tester-build ttcn3-ggsn-test-kernel-git io_uring osmocom-gerrit coverity osmocom-master) in workspace /home/osmocom-build/jenkins/workspace/gerrit-lint
[ssh-agent] Looking for ssh-agent implementation...
$ ssh-agent
SSH_AUTH_SOCK=/tmp/ssh-6RcT2MKhF46Q/agent.3467509
SSH_AGENT_PID=3467512
[ssh-agent] Started.
Running ssh-add (command line suppressed)
Identity added: /home/osmocom-build/jenkins/workspace/gerrit-lint@tmp/private_key_14141244229708339365.key (/home/osmocom-build/jenkins/workspace/gerrit-lint@tmp/private_key_14141244229708339365.key)
[ssh-agent] Using credentials jenkins (gerrit.osmocom.org)
The recommended git tool is: NONE
using credential d5eda5e9-b59d-44ba-88d2-43473cb6e42d
Wiping out workspace first.
Cloning the remote Git repository
Cloning repository ssh://jenkins@gerrit.osmocom.org:29418/libosmocore
 &gt; git init /home/osmocom-build/jenkins/workspace/gerrit-lint/code-from-gerrit # timeout=10
Fetching upstream changes from ssh://jenkins@gerrit.osmocom.org:29418/libosmocore
 &gt; git --version # timeout=10
 &gt; git --version # 'git version 2.39.5'
using GIT_SSH to set credentials gerrit.osmocom.org
Verifying host key using known hosts file, will automatically accept unseen keys
 &gt; git fetch --tags --force --progress -- ssh://jenkins@gerrit.osmocom.org:29418/libosmocore +refs/heads/*:refs/remotes/origin/* # timeout=10
 &gt; git config remote.origin.url ssh://jenkins@gerrit.osmocom.org:29418/libosmocore # timeout=10
 &gt; git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
 &gt; git config remote.origin.url ssh://jenkins@gerrit.osmocom.org:29418/libosmocore # timeout=10
Fetching upstream changes from ssh://jenkins@gerrit.osmocom.org:29418/libosmocore
using GIT_SSH to set credentials gerrit.osmocom.org
Verifying host key using known hosts file, will automatically accept unseen keys
 &gt; git fetch --tags --force --progress -- ssh://jenkins@gerrit.osmocom.org:29418/libosmocore refs/changes/21/40921/1 # timeout=10
 &gt; git rev-parse FETCH_HEAD^{commit} # timeout=10
Checking out Revision bd63344adadc24ce0d13aaf4e417d06a44e09ec1 (osmith/1.11.2)
 &gt; git config core.sparsecheckout # timeout=10
 &gt; git checkout -f bd63344adadc24ce0d13aaf4e417d06a44e09ec1 # timeout=10
Commit message: "tests: fix for debian 13 armv7l"
 &gt; git rev-parse FETCH_HEAD^{commit} # timeout=10
 &gt; git rev-list --no-walk eeff32871ce43b20307d55f20d6ecbc3bbddf85d # timeout=10
<div style="display:none" data-ansicolor-action="943b3ed4-278c-4246-88b7-e60568c10bda"></div>[gerrit-lint] $ /bin/sh -xe /tmp/jenkins13964425560955873029.sh
+ rm -rf osmo-ci
+ git clone --depth=1 --branch=master <a href='https://gerrit.osmocom.org/osmo-ci'>https://gerrit.osmocom.org/osmo-ci</a> osmo-ci
Cloning into 'osmo-ci'...
+ git -C osmo-ci log --oneline
cf88fab jobs/gerrit-verifications: osmo-ttcn3-hacks: do make clean
+ readlink -f /tmp/ssh-6RcT2MKhF46Q/agent.3467509
+ docker run --rm -e GERRIT_HOST=gerrit.osmocom.org -e GERRIT_PORT=29418 -e GERRIT_PROJECT=libosmocore -e GERRIT_CHANGE_NUMBER=40921 -e GERRIT_PATCHSET_NUMBER=1 -e JENKINS_HOME=1 -e SSH_AUTH_SOCK=/ssh-agent -u build -v /tmp/ssh-6RcT2MKhF46Q/agent.3467509:/ssh-agent -v ./code-from-gerrit:/build/code-from-gerrit -v ./osmo-ci:/build/osmo-ci -w /build/code-from-gerrit osmocom-build/debian-bookworm-build /build/osmo-ci/lint/lint_diff.sh HEAD~1
Running docker_run_rm.sh on the whole tree...

Running checkpatch on 'git diff HEAD~1'...

$ ssh-agent -k
unset SSH_AUTH_SOCK;
unset SSH_AGENT_PID;
echo Agent pid 3467512 killed;
[ssh-agent] Stopped.
Finished: SUCCESS