diff options
| author | Alain Frisch <alain@frisch.fr> | 2012-03-05 15:30:19 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2012-03-05 15:30:19 +0000 |
| commit | 60dca0a103670161a8c2fb2b0edb4452567ec039 (patch) | |
| tree | 28b4de252f4a9aac351e1a423b3465e0105147c2 | |
| parent | a1b1a068f837b9055ab41b91ae07824db85500fc (diff) | |
Fix for windows (ASM_CFI_SUPPORTED=false).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12190 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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)|' \ |