summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile.nt1
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)|' \