You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 3345 Reporter: administrator Status: closed (set by @diml on 2016-12-07T17:27:29Z) Resolution: open Priority: normal Severity: feature Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues Monitored by: nogin
Following #2611, it is now possible to build a profiled version of the native
code files in camlp4/camlp4, camlp4/lib and camlp4/odyl. Hoewever the modules in
camlp4/etc and camp4/meta would still only be compiled w/o profiling. Would it
be possible to add "PROFILING=prof" support to these two directories as well?
Thank you!
The text was updated successfully, but these errors were encountered:
Original bug ID: 3345
Reporter: administrator
Status: closed (set by @diml on 2016-12-07T17:27:29Z)
Resolution: open
Priority: normal
Severity: feature
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Monitored by: nogin
Bug description
Full_Name: Aleksey Nogin
Version: 3.08.2
OS: Fedora Core 2
Submission from: charter-242-004.caltech.edu (131.215.242.4)
Following #2611, it is now possible to build a profiled version of the native
code files in camlp4/camlp4, camlp4/lib and camlp4/odyl. Hoewever the modules in
camlp4/etc and camp4/meta would still only be compiled w/o profiling. Would it
be possible to add "PROFILING=prof" support to these two directories as well?
Thank you!
The text was updated successfully, but these errors were encountered: