diff options
-rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 6f41a1d..6c48fd2 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -97,7 +97,7 @@ GC_CFLAGS = $(PTW32_FLAGS) GCE_CFLAGS = $(PTW32_FLAGS) -mthreads ## Mingw32 -MAKE = make +MAKE ?= make CFLAGS = $(OPT) $(XOPT) -I. -DHAVE_CONFIG_H -Wall DLL_INLINED_OBJS = \ |