diff options
Diffstat (limited to 'coverity/build_Osmocom.sh')
-rwxr-xr-x | coverity/build_Osmocom.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh index 6aaf5fb..d00ad51 100755 --- a/coverity/build_Osmocom.sh +++ b/coverity/build_Osmocom.sh @@ -10,11 +10,15 @@ install -d "$prefix" export PKG_CONFIG_PATH="$prefix/lib/pkgconfig" +git_branch() { + echo "$(git status)" | grep 'On branch' | sed 's/On branch //' +} + do_build() { + git fetch + git reset --hard "origin/$(git_branch)" git clean -dxf git checkout . - git remote prune origin - git pull --rebase -s recursive -Xtheirs autoreconf --install --force ./configure --prefix="$prefix" $* |