From a5ea31f2b661afa9a2536c90396aa0d9fc63a56b Mon Sep 17 00:00:00 2001
From: Ycarus <ycarus@zugaina.org>
Date: Mon, 30 Jul 2018 11:19:28 +0200
Subject: [PATCH] Force checkout

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index ba98b261..323043dd 100755
--- a/build.sh
+++ b/build.sh
@@ -16,7 +16,7 @@ _get_repo() (
 	fi
 	git fetch origin
 	git fetch origin --tags
-	git checkout "origin/$3" -B "build" 2>/dev/null || git checkout "$3" -B "build"
+	git checkout -f "origin/$3" -B "build" 2>/dev/null || git checkout "$3" -B "build"
 )
 
 OMR_DIST=${OMR_DIST:-openmptcprouter}