diff --git a/src/tools/make/buildall.pl b/src/tools/make/buildall.pl index b1a022a0..e16d277d 100755 --- a/src/tools/make/buildall.pl +++ b/src/tools/make/buildall.pl @@ -62,7 +62,7 @@ unlink glob "log/*"; for my $machine (sort keys %machines) { my ($login, $sudo, $dir, $mkcmd) = @{$machines{$machine}}; - my $cmd = "ssh $login \"cd $dir && git checkout -f && perl src/tools/make/getbranch.sh $branch && $sudo $mkcmd\" "; + my $cmd = "ssh $login \"cd $dir && git checkout -f && src/tools/make/getbranch.sh $branch && $sudo $mkcmd\" "; logged($cmd, $machine); }