github-repos/make
1
0
Fork 0
mirror of https://github.com/mirror/make.git synced 2024-12-28 22:00:33 +08:00
Code Issues Packages Projects Releases Wiki Activity
23f70b0cb8
make/mk
History
Paul Smith 6128c3e266 Rename WINDOWS32 macro to MK_OS_W32 
* configure.ac: Set MK_OS_W32 to 1 if we're on Windows32.
* src/config.h.W32: Ditto.
* mk/Windows32.mk: Ditto.
* src/makeint.h: Convert #if refs to WINDOWS32, to use MK_OS_W32.
* src/*: Ditto.
* src/w32/*: Ditto.
* gl/lib/*: Ditto.
2023-01-15 18:27:13 -05:00
..
msdosdjgpp.mk Convert references from "GNU make" to "GNU Make" 2023-01-01 17:05:12 -05:00
Posix.mk.in Convert references from "GNU make" to "GNU Make" 2023-01-01 17:05:12 -05:00
VMS.mk Convert references from "GNU make" to "GNU Make" 2023-01-01 17:05:12 -05:00
Windows32.mk Rename WINDOWS32 macro to MK_OS_W32 2023-01-15 18:27:13 -05:00