From b5dbf13af4a7ab91dd7c0b44c571b08cd1286d67 Mon Sep 17 00:00:00 2001 From: David Brown Date: Fri, 15 Jul 2016 15:30:26 +0100 Subject: [PATCH] Try using git pull to get updated buildall.pl as raw fetch is never up to date. --- src/tools/make/postpush.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/tools/make/postpush.pl b/src/tools/make/postpush.pl index 60636a8c..0ef53b72 100755 --- a/src/tools/make/postpush.pl +++ b/src/tools/make/postpush.pl @@ -43,9 +43,9 @@ if ($buildneeded) { writelog "Started buildall, pid = $child."; # parent process } else { close(STDIN); close(STDOUT); close(STDERR); # child process - # unlink "buildall.pl"; - sleep 10; # Leave time for github to have the new version ready. (Yuk!) - system 'curl https://raw.githubusercontent.com/vishaps/voc/master/src/tools/make/buildall.pl >buildall.pl'; + #sleep 5; # Leave time for github to have the new version ready. (Yuk!) + system 'cd voc && git pull'; + system 'cd ~ && cp voc/src/tools/make/buildall.pl .'; exec 'perl buildall.pl >/tmp/buildall.log'; exit; }