More fiddling with auto build scripts.

This commit is contained in:
David Brown 2016-12-07 14:06:39 +00:00
parent da1ad6e871
commit 2e436a2d9e

View file

@ -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 && src/tools/make/getbranch.sh $branch && $sudo $mkcmd\" ";
my $cmd = "ssh $login \"cd $dir && git pull && git checkout -f && src/tools/make/getbranch.sh $branch && $sudo $mkcmd\" ";
logged($cmd, $machine);
}