From fa10d2d383a5715560c8bd081e959d721d7a1643 Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 7 Sep 2009 17:51:24 -0700
Subject: [PATCH] Dothem: build 'pu' last

---
 Dothem | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/Dothem b/Dothem
index 8c59d404f8..710d7c1619 100755
--- a/Dothem
+++ b/Dothem
@@ -52,7 +52,7 @@ then
 		exit 1
 	fi
 fi
-test -n "$branches" || branches='next master maint pu jch'
+test -n "$branches" || branches='next master maint jch pu'
 test -n "$jobs" || jobs=-j2
 
 for branch in $branches
@@ -136,6 +136,7 @@ do
 			;;
 		esac &&
 
+		save=$(git rev-parse HEAD) &&
 		{
 			test "z$with_dash" != 'zy' ||
 			Meta/Make $M $test -- $jobs SHELL_PATH=/bin/dash $dotest
@@ -149,7 +150,12 @@ do
 
 		{
 			test z$install = znoinstall ||
-			Meta/Make $M -- install
+			if test "$save" = "$(git rev-parse HEAD)"
+			then
+				Meta/Make $M -- install
+			else
+				echo >&2 "Head moved--not installing"
+			fi
 		} || exit $?
 
 		git reset --hard
-- 
2.32.0.93.g670b81a890