diff options
-rwxr-xr-x | coverity/build_Osmocom.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh index 4da9ec6..18c9b0b 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -10,10 +10,6 @@ install -d "$prefix" export PKG_CONFIG_PATH="$prefix/lib/pkgconfig" -git_branch() { - echo "$(git status)" | grep 'On branch' | sed 's/On branch //' -} - do_build() { autoreconf --install --force ./configure --prefix="$prefix" $* |