diff options
Diffstat (limited to 'Makefile.nt')
-rw-r--r-- | Makefile.nt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.nt b/Makefile.nt index 4b25461a90..6c8141355f 100644 --- a/Makefile.nt +++ b/Makefile.nt @@ -357,6 +357,7 @@ utils/config.ml: utils/config.mlp config/Makefile -e "s|%%SYSTHREAD_SUPPORT%%|true|" \ -e 's|%%ASM%%|$(ASM)|' \ -e 's|%%ASM_CFI_SUPPORTED%%|false|' \ + -e 's|%%WITH_FRAME_POINTERS%%|false|' \ -e 's|%%MKDLL%%|$(MKDLL)|' \ -e 's|%%MKEXE%%|$(MKEXE)|' \ -e 's|%%MKMAINDLL%%|$(MKMAINDLL)|' \ |