From 3c8a347d331b8b315957fa7281edcb9c5643d7e7 Mon Sep 17 00:00:00 2001
From: David Brown <dave@brownsmeet.com>
Date: Fri, 1 Jul 2016 15:44:06 +0100
Subject: [PATCH] Need to remove prior buildall.pl as wget won't overwrite.

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

diff --git a/src/tools/make/postpush.pl b/src/tools/make/postpush.pl
index 94a4394b..fdbe8829 100755
--- a/src/tools/make/postpush.pl
+++ b/src/tools/make/postpush.pl
@@ -40,6 +40,7 @@ if ($child) {
 } else {
   # child process
   close(STDIN); close(STDOUT); close(STDERR);
+  unlink "buildall.pl";
   system 'wget https://raw.githubusercontent.com/vishaps/voc/v2docs/src/tools/make/buildall.pl';
   exec 'perl buildall.pl >/tmp/buildall.log';
   exit;