diff --git a/src/tools/make/postpush.pl b/src/tools/make/postpush.pl
index 26b120fd..c7229b10 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 -f ' . $branch . ') >>postpush.log';
+    system '(cd voc; git pull; git checkout -f ' . $branch . '; git pull) >>postpush.log';
     exec 'perl voc/src/tools/make/buildall.pl ' . $branch . ' >/tmp/buildall.log';
     exit;
   }