diff options
Diffstat (limited to 'coverity/build_iuh.sh')
-rwxr-xr-x | coverity/build_iuh.sh | 2 |
1 files changed, 1 insertions, 1 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" $* |