commit 78d051f71e520e8b9be24ed7a100bf5a1effe650
author Nick Wellnhofer <wellnhofer@aevum.de> Wed Jul 06 15:37:41 2016 +0200
committer Nick Wellnhofer <wellnhofer@aevum.de> Wed Jul 06 15:37:41 2016 +0200
tree 11264b780a88f00d00c7ee9bd25873f5ad88aca2
parent 58cdc20d5c1d51c41fd45454b76b8601c8a7b52f

Make sure that mingw32-make uses the correct shell

src/Charmonizer/Core/Make.c

diff --git a/src/Charmonizer/Core/Make.c b/src/Charmonizer/Core/Make.c
index 25fda59..0272d89 100644
--- a/src/Charmonizer/Core/Make.c
+++ b/src/Charmonizer/Core/Make.c
@@ -630,6 +630,11 @@
         chaz_Util_die("Can't open Makefile\n");
     }
 
+    if (chaz_Make.shell_type == CHAZ_OS_CMD_EXE) {
+        /* Make sure that mingw32-make uses the cmd.exe shell. */
+        fprintf(out, "SHELL = cmd\n");
+    }
+
     for (i = 0; self->vars[i]; i++) {
         chaz_MakeVar *var = self->vars[i];
         fprintf(out, "%s = %s\n", var->name, var->value);