diff options
| author | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2013-06-03 04:42:42 +0000 |
|---|---|---|
| committer | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2013-06-03 04:42:42 +0000 |
| commit | 1b2667b9f2e4284e5a34c9f430edaeb5492d71c3 (patch) | |
| tree | d508d005706720aa020b717d78490e66d31be24a /utils/clflags.ml | |
| parent | e97c59d045e33e4bfe31839dd6edd71b549d5c10 (diff) | |
| download | ocaml-1b2667b9f2e4284e5a34c9f430edaeb5492d71c3.tar.gz | |
Add -with-frame-pointers to ./configure
This option can be used to tell the native compiler that it should
update frame pointers, so that debuggers and profiling tools
(especially Linux perf) can use them. For now, it is only supported
by the Unix/amd64 port.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13730 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils/clflags.ml')
| -rw-r--r-- | utils/clflags.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index dd914cdbb9..bdb9feb713 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -99,4 +99,5 @@ let std_include_dir () = let shared = ref false (* -shared *) let dlcode = ref true (* not -nodynlink *) -let runtime_variant = ref "";; (* -runtime-variant *) +let runtime_variant = ref "";; (* -runtime-variant *) + |