diff options
-rwxr-xr-x | coverity/prepare_source_Osmocom.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coverity/prepare_source_Osmocom.sh b/coverity/prepare_source_Osmocom.sh index 22d72e7..ba5f13a 100755 --- a/coverity/prepare_source_Osmocom.sh +++ b/coverity/prepare_source_Osmocom.sh @@ -52,7 +52,9 @@ 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 fi done |