diff options
| -rw-r--r-- | src/w32proc.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/w32proc.c b/src/w32proc.c index 7d1717792ab..8c99a0a1dff 100644 --- a/src/w32proc.c +++ b/src/w32proc.c @@ -590,6 +590,13 @@ get_result: 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) { |