Meta/Dothem: use the same GIT-CFLAGS when building and installing

diff --git a/Dothem b/Dothem
index 31cac266db0805248f76aad7273b48dacafd1897..3f4a6bf64c26827d929308cb3f385aae827e518e 100755 (executable)
--- 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