diff options
author | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-07-04 16:57:31 +0700 |
---|---|---|
committer | Vadim Yanitskiy <vyanitskiy@sysmocom.de> | 2022-07-04 16:57:33 +0700 |
commit | 2be279a9e03ef937b1882eceba3f1592446d9a03 (patch) | |
tree | 8f9e94964257c84761b64f645c6431568610e8d6 /scripts/osmo-ci-docker-rebuild.sh | |
parent | 82265bc46df2f5c54be71274330e43664cf6c7fc (diff) |
fixup: coverity: compile tests, but not execute them
In change 82265bc46df2f5c54be71274330e43664cf6c7fc [1] I attempted
to fix aaeab8c976a478309477e4200c1aef51407f6152 [2], however both
pushd and popd commands are not available in plain shell.
Change-Id: Ib63ded66781c774e16773537c3b943237904b03e
Fixes: [1] I92b648cd1e80399561067eae99426faed1ff1e25
Fixes: [2] Idf0714a59356633021be21acc47f9471d059b7fe
Diffstat (limited to 'scripts/osmo-ci-docker-rebuild.sh')
0 files changed, 0 insertions, 0 deletions