Need to remove prior buildall.pl as wget won't overwrite.

This commit is contained in:
David Brown 2016-07-01 15:44:06 +01:00
parent c7984ffdac
commit 3c8a347d33

View file

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