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 | |
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
-rwxr-xr-x | coverity/prepare_source_Osmocom.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/coverity/prepare_source_Osmocom.sh b/coverity/prepare_source_Osmocom.sh index ba5f13a..11b7e5c 100755 --- a/coverity/prepare_source_Osmocom.sh +++ b/coverity/prepare_source_Osmocom.sh @@ -52,9 +52,7 @@ for proj in \ # instead of 'check_PROGRAMS' allows building test binaries during 'make all'. files="$(git -C $proj grep -l check_PROGRAMS)" if [ -n "$files" ]; then - pushd $proj - sed -i "s/check_PROGRAMS/noinst_PROGRAMS/" $files - popd + (cd $proj && sed -i "s/check_PROGRAMS/noinst_PROGRAMS/" $files) fi done |