From 40c21336864c363ec1aa41b6e373d0568f1335d3 Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 31 Aug 2012 14:18:49 -0700
Subject: [PATCH] Meta/Dothem: use the same GIT-CFLAGS when building and
 installing

---
 Dothem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dothem b/Dothem
index 31cac266db..3f4a6bf64c 100755
--- a/Dothem
+++ b/Dothem
@@ -217,7 +217,7 @@ do
 			test z$install = znoinstall ||
 			if test "$save" = "$(git rev-parse HEAD)"
 			then
-				Meta/Make $M -- install
+				Meta/Make $M -- ${with_dash:+SHELL_PATH=/bin/dash} install
 			else
 				echo >&2 "Head moved--not installing"
 			fi
-- 
2.47.3