diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh index 37238421..3ab13139 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -55,8 +55,8 @@ build_osmocombb() { } build_simtrace2() { - pushd simtrace2 - make -C host + pushd simtrace2/host + do_build popd }