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;