diff options
| author | Paul Smith <psmith@gnu.org> | 2022-10-17 17:56:18 -0400 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2022-10-18 14:20:44 -0400 |
| commit | b79791533bf2a784bf201fbb9f63588ef24fc404 (patch) | |
| tree | a6c1e0ce02f1f00f4116f1f9a8f958d58d554b93 /src/main.c | |
| parent | 9d24d4180188bf694635f09059003218e6e3c15a (diff) | |
| download | make-git-b79791533bf2a784bf201fbb9f63588ef24fc404.tar.gz | |
Add preprocessor macros for different platforms
* configure.ac: MK_CONFIGURE shows config.h was generated by configure.
* src/config.ami: Define MK_AMIGAOS.
* src/config.h-vms: Define MK_VMS.
* src/configh.dos: Define MK_DJGPP.
* src/config.h.W32: Define MK_W32 and WINDOWS32.
* src/build_w32.bat: Let WINDOWS32 be defined by config.h. Remove
unused setting of WIN32.
* src/job.c: Clean up use of WIN32.
* src/main.c: Ditto.
* tests/scripts/features/default_names: Ditto.
Diffstat (limited to 'src/main.c')
| -rw-r--r-- | src/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -989,7 +989,7 @@ handle_runtime_exceptions (struct _EXCEPTION_POINTERS *exinfo) } /* - * On WIN32 systems we don't have the luxury of a /bin directory that + * On W32 systems we don't have the luxury of a /bin directory that * is mapped globally to every drive mounted to the system. Since make could * be invoked from any drive, and we don't want to propagate /bin/sh * to every single drive. Allow ourselves a chance to search for |