From f5ae1af37de0c9aed433de63a3c3de67b120b75d Mon Sep 17 00:00:00 2001
From: David Brown <dave.github@brownsmeet.com>
Date: Fri, 12 Aug 2016 11:21:32 +0100
Subject: [PATCH] Fix postpush buildall script to force checkout of updated
 buildall.

---
 src/tools/make/postpush.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/make/postpush.pl b/src/tools/make/postpush.pl
index a65fbb86..26b120fd 100755
--- a/src/tools/make/postpush.pl
+++ b/src/tools/make/postpush.pl
@@ -43,7 +43,7 @@ if ($buildneeded) {
   } else {
     close(STDIN); close(STDOUT); close(STDERR);  # child process
     system 'echo Syncing voc>postpush.log';
-    system '(cd voc; git pull; git checkout ' . $branch . ') >>postpush.log';
+    system '(cd voc; git pull; git checkout -f ' . $branch . ') >>postpush.log';
     exec 'perl voc/src/tools/make/buildall.pl ' . $branch . ' >/tmp/buildall.log';
     exit;
   }