diff options
Diffstat (limited to 'config/Makefile.mingw64')
| -rw-r--r-- | config/Makefile.mingw64 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/Makefile.mingw64 b/config/Makefile.mingw64 index f6fddb937f..1b1d5a48c7 100644 --- a/config/Makefile.mingw64 +++ b/config/Makefile.mingw64 @@ -83,6 +83,7 @@ NATDYNLINK=true CMXS=cmxs RUNTIMED=noruntimed ASM_CFI_SUPPORTED=false +UNIX_OR_WIN32=win32 UNIXLIB=win32unix GRAPHLIB=win32graph FLAMBDA=false |