Must git pull before git checkout <branch>.

This commit is contained in:
David Brown 2016-08-11 18:53:58 +01:00
parent 480c2e02eb
commit aea81809e6

View file

@ -55,7 +55,7 @@ unlink glob "log/*";
for my $machine (sort keys %machines) { for my $machine (sort keys %machines) {
my ($login, $sudo, $dir, $mkcmd) = @{$machines{$machine}}; my ($login, $sudo, $dir, $mkcmd) = @{$machines{$machine}};
my $cmd = "ssh $login \"cd $dir && $sudo git checkout $branch && $sudo git pull && $sudo $mkcmd\" "; my $cmd = "ssh $login \"cd $dir && $sudo git pull && $sudo git checkout $branch && $sudo $mkcmd\" ";
logged($cmd, $machine); logged($cmd, $machine);
} }