diff --git a/src/tools/make/buildall.pl b/src/tools/make/buildall.pl index 160de3b0..9239873c 100755 --- a/src/tools/make/buildall.pl +++ b/src/tools/make/buildall.pl @@ -9,8 +9,8 @@ my $branch = "master"; my %machines = ( "pi" => ['pi@pie', "sudo", "make full", "projects/oberon/vishap/voc"], "darwin" => ['dave@dcb', "sudo", "make full", "projects/oberon/vishap/voc"], - "wind" => ['-p5932 dave@wax', "", "sh makeall.sh", "~"], - "android" => ['-p8022 root@and', "", "sh makeall.sh", "~"], + "wind" => ['-p5932 dave@wax', "", "sh ~/makeall.sh", "vishaps/voc"], + "android" => ['-p8022 root@and', "", "sh ~/makeall.sh", "vishap/voc"], "lub32" => ['dave@lub32', "sudo", "make full", "vishap/voc"], "ob32" => ['root@nas-ob32', "", "make full", "vishap/voc"], "ce64" => ['-p5922 obe@www', "sudo", "make full", "vishap/voc"],