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 /otherlibs/win32unix/socket.c | |
| parent | e97c59d045e33e4bfe31839dd6edd71b549d5c10 (diff) | |
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 'otherlibs/win32unix/socket.c')
0 files changed, 0 insertions, 0 deletions