1 From 4bfa8ec6ca0d1d9b97cf2c40d533e632322c1f1d Mon Sep 17 00:00:00 2001
2 From: Johannes Schindelin <johannes.schindelin@gmx.de>
3 Date: Wed, 15 Jul 2009 03:41:28 +0200
4 Subject: [PATCH 3/4] Make sure that we use "cmd" as a shell
6 The original idea of the MinGW32 build was probably to run the beast
7 from cmd.exe. As we run it from bash now, let's make sure that "make"
8 does not try to execute the "copy" and "del" calls with /bin/sh, but
11 Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
14 1 files changed, 1 insertions(+), 1 deletions(-)
16 diff --git a/ms/mingw32.bat b/ms/mingw32.bat
17 index f9377a8..f85305e 100644
20 @@ -79,7 +79,7 @@ if errorlevel 1 goto end
21 rem copy ms\tlhelp32.h outinc
23 echo Building the libraries
24 -mingw32-make -f ms/mingw32a.mak
25 +mingw32-make -f ms/mingw32a.mak SHELL=cmd
26 if errorlevel 1 goto end
28 echo Generating the DLLs and input libraries