diff options
-rw-r--r-- | Makefile.nt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.nt b/Makefile.nt index c52c9ebbd..18984fb4e 100644 --- a/Makefile.nt +++ b/Makefile.nt @@ -335,6 +335,7 @@ utils/config.ml: utils/config.mlp config/Makefile -e "s|%%EXT_DLL%%|.dll|" \ -e "s|%%SYSTHREAD_SUPPORT%%|true|" \ -e 's|%%ASM%%|$(ASM)|' \ + -e 's|%%ASM_CFI_SUPPORTED%%|false|' \ -e 's|%%MKDLL%%|$(MKDLL)|' \ -e 's|%%MKEXE%%|$(MKEXE)|' \ -e 's|%%MKMAINDLL%%|$(MKMAINDLL)|' \ |