diff options
-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 |