From 39e092a2ad4b99102d23b7b21c76b7c5f405fc69 Mon Sep 17 00:00:00 2001 From: Ycarus Date: Tue, 27 Feb 2018 22:30:19 +0100 Subject: [PATCH] Force remove of local files --- build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/build.sh b/build.sh index 62f87da8..7fd25586 100755 --- a/build.sh +++ b/build.sh @@ -10,6 +10,7 @@ _get_repo() { git -C "$1" remote set-url origin "$2" git -C "$1" fetch origin git -C "$1" fetch origin --tags + git -C "$1" reset --hard "origin/$3" git -C "$1" checkout "origin/$3" -B "build" || git -C "$1" checkout "$3" -B "build" }