diff options
| author | Jonathan Protzenko <Jonathan.Protzenko@ens-lyon.org> | 2012-04-04 13:03:21 +0000 |
|---|---|---|
| committer | Jonathan Protzenko <Jonathan.Protzenko@ens-lyon.org> | 2012-04-04 13:03:21 +0000 |
| commit | 715ea44322710dfb69537770b5cefb6e63ee9cad (patch) | |
| tree | be432e5d448ca9ff96d3c27391b461bba6b62706 | |
| parent | 1ac30d51bafe206bfe7e1d7a185a8b7075526902 (diff) | |
CFI directives are not supported on Windows.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | config/Makefile.mingw | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/Makefile.mingw b/config/Makefile.mingw index c83b7dbc7..ddbc62872 100644 --- a/config/Makefile.mingw +++ b/config/Makefile.mingw @@ -81,7 +81,7 @@ EXTRALIBS= NATDYNLINK=true CMXS=cmxs RUNTIMED=noruntimed -ASM_CFI_SUPPORTED=true +ASM_CFI_SUPPORTED=false ########## Configuration for the bytecode compiler |