diff --git a/utils/increment_build_number.sh b/utils/increment_build_number.sh index 95d0a152..e9f78c08 100644 --- a/utils/increment_build_number.sh +++ b/utils/increment_build_number.sh @@ -3,7 +3,7 @@ curr_path=${BASH_SOURCE%/*} version_file_path=../src/version.h.in pushd $curr_path -git pull +git pull --ff-only if [ $? -ne 0 ]; then echo "Failed to pull" popd