diff options
Diffstat (limited to 'coverity')
| -rwxr-xr-x | coverity/build_iuh.sh | 2 | ||||
| -rwxr-xr-x | coverity/coverity_all.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/coverity/build_iuh.sh b/coverity/build_iuh.sh index 1374ebb..d9a86a4 100755 --- a/coverity/build_iuh.sh +++ b/coverity/build_iuh.sh @@ -14,7 +14,7 @@ do_build() { git clean -dxf git checkout . git remote prune origin - git pull --rebase + git pull --rebase -s recursive -Xtheirs autoreconf --install --force ./configure --prefix="$prefix" $* diff --git a/coverity/coverity_all.sh b/coverity/coverity_all.sh index fba5271..67f52c5 100755 --- a/coverity/coverity_all.sh +++ b/coverity/coverity_all.sh @@ -14,7 +14,7 @@ export PKG_CONFIG_PATH="$prefix/lib/pkgconfig" do_build() { git clean -dxf git remote prune origin - git pull --rebase + git pull --rebase -s recursive -Xtheirs autoreconf --install --force ./configure --prefix="$prefix" $* |