Meta/Make: export SHELL as well as SHELL_PATH

diff --git a/Make b/Make
index dc7c44c55b982be9e59c86330300bfc9c937b60c..b2f30fba9a1851f2b90821680918616e612b401b 100755 (executable)
--- a/Make
+++ b/Make
@@ -215,7 +215,7 @@ determine_long_version >version
 set "prefix=$prefix" "$@"
 if test -n "$with_shell" && test -f "$with_shell"
 then
-       set "SHELL_PATH=$with_shell" "$@"
+       set "SHELL_PATH=$with_shell" "SHELL=$with_shell" "$@"
 fi
 
 if grep >/dev/null DC_SHA1 Makefile