From d43279d0538f71fb0a359ca5fabed78df63fdca5 Mon Sep 17 00:00:00 2001
From: David Brown <dave.github@brownsmeet.com>
Date: Thu, 21 Jul 2016 13:58:46 +0100
Subject: [PATCH] postpushpl fix buildall parameter (yes, again).

---
 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 b9b60c14..a65fbb86 100755
--- a/src/tools/make/postpush.pl
+++ b/src/tools/make/postpush.pl
@@ -44,7 +44,7 @@ if ($buildneeded) {
     close(STDIN); close(STDOUT); close(STDERR);  # child process
     system 'echo Syncing voc>postpush.log';
     system '(cd voc; git pull; git checkout ' . $branch . ') >>postpush.log';
-    exec 'perl voc/src/tools/make/buildall.pl $branch >/tmp/buildall.log';
+    exec 'perl voc/src/tools/make/buildall.pl ' . $branch . ' >/tmp/buildall.log';
     exit;
   }
 } else {