1 files changed, 6 insertions, 0 deletions
diff --git a/etc/PROBLEMS b/etc/PROBLEMS
index 97c7e6cf67e..c3be7f83a7c 100644
--- a/etc/PROBLEMS
+++ b/etc/PROBLEMS
@@ -221,6 +221,12 @@ __MSVCRT__, like so:
  configure --with-gcc --cflags -mwin32 --cflags -D__MSVCRT__
+* Building the MS-Windows port fails with a CreateProcess failure.
+Some versions of mingw32 make on some versions of Windows do not seem
+to detect the shell correctly. Try "make SHELL=cmd.exe", or if that
+fails, try running make from Cygwin bash instead.
 * Building the MS-Windows port with Leim fails in the `leim' directory.
 The error message might be something like this:

diff --git a/etc/PROBLEMS b/etc/PROBLEMS index 97c7e6cf67e..c3be7f83a7c 100644 --- a/etc/PROBLEMS +++ b/etc/PROBLEMS
@@ -221,6 +221,12 @@ __MSVCRT__, like so:
221		221
222	configure --with-gcc --cflags -mwin32 --cflags -D__MSVCRT__	222	configure --with-gcc --cflags -mwin32 --cflags -D__MSVCRT__
223		223
		224	* Building the MS-Windows port fails with a CreateProcess failure.
		225
		226	Some versions of mingw32 make on some versions of Windows do not seem
		227	to detect the shell correctly. Try "make SHELL=cmd.exe", or if that
		228	fails, try running make from Cygwin bash instead.
		229
224	* Building the MS-Windows port with Leim fails in the `leim' directory.	230	* Building the MS-Windows port with Leim fails in the `leim' directory.
225		231
226	The error message might be something like this:	232	The error message might be something like this: