diff options
Diffstat (limited to 'scripts/build_tools.sh')
| -rwxr-xr-x | scripts/build_tools.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build_tools.sh b/scripts/build_tools.sh index 2adb27b..b161f87 100755 --- a/scripts/build_tools.sh +++ b/scripts/build_tools.sh @@ -12,7 +12,7 @@ git_pull() { else pushd $1 >/dev/null git fetch - if ! git diff --quiet HEAD origin/master; then + if ! git diff --quiet HEAD origin/HEAD; then git clean -Xdf git reset --hard origin/master git submodule update --init --recursive |