From 311065139eabf33be78f99f4c3aa692bc1f5193b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <karel.koci@nic.cz>
Date: Mon, 22 May 2017 12:39:26 +0200
Subject: Add root build script

---
 scripts/build_tools.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts/build_tools.sh')

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
-- 
cgit v1.2.3