# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1184959199 0
# Node ID 5d5dea23e4fd35adf9ea342875f0eafde2fe14be
# Parent  252b7f091c04bd1e2df4b948d8d794dd9259d80b
(IMAGE_NT_OPTIONAL_HDR32_MAGIC, IMAGE_OPTIONAL_HEADER32): Define
if not defined.

diff -r 252b7f091c04 -r 5d5dea23e4fd src/w32proc.c
--- a/src/w32proc.c	Fri Jul 20 06:54:40 2007 +0000
+++ b/src/w32proc.c	Fri Jul 20 19:19:59 2007 +0000
@@ -590,6 +590,13 @@
   return pid;
 }
 
+/* Old versions of w32api headers don't have separate 32-bit and
+   64-bit defines, but the one they have matches the 32-bit variety.  */
+#ifndef IMAGE_NT_OPTIONAL_HDR32_MAGIC
+# define IMAGE_NT_OPTIONAL_HDR32_MAGIC IMAGE_NT_OPTIONAL_HDR_MAGIC
+# define IMAGE_OPTIONAL_HEADER32 IMAGE_OPTIONAL_HEADER
+#endif
+
 void
 w32_executable_type (char * filename, int * is_dos_app, int * is_cygnus_app, int * is_gui_app)
 {