Opened 14 years ago
Closed 13 years ago
#366 closed enhancement (fixed)
Enable profiling via configure option
| Reported by: | kilian | Owned by: | kilian |
|---|---|---|---|
| Priority: | P4 | Milestone: | v2.3.1 |
| Component: | core | Version: | 2.0.3 |
| Severity: | normal | Keywords: | |
| Cc: |
Description
The -pg option should be set automatically where necessary for profiling, if requested. Currently, this is possible only by manual intervention.
This requires a static build (see #365).
Change History (2)
comment:1 Changed 14 years ago by
| Type: | defect → enhancement |
|---|
comment:2 Changed 13 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Done in r2995.