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; }