summaryrefslogtreecommitdiff
path: root/Makefile.nt
diff options
context:
space:
mode:
authorFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>2013-06-03 04:34:19 +0000
committerFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>2013-06-03 04:34:19 +0000
commit12722845d4cd648fe9446208e6296a819ced774e (patch)
tree84c09beb4985c22f8f654f5bf3e0c376b5aa3bc3 /Makefile.nt
parent52b6c69951c0fb97549f406d36ed2f6157cc80a5 (diff)
downloadocaml-with-frame-pointers.tar.gz
Add -with-frame-pointers to ./configurewith-frame-pointers
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/with-frame-pointers@13729 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'Makefile.nt')
-rw-r--r--Makefile.nt1
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)|' \