From 5bac0c5818ef80dcc1e1286dcbe94929addce138 Mon Sep 17 00:00:00 2001
From: David Brown <dave.github@brownsmeet.com>
Date: Fri, 12 Aug 2016 15:10:06 +0100
Subject: [PATCH] buildall needs to pull both before *and* after branch
 checkout.

---
 src/tools/make/buildall.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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