Euphoria Ticket #713: profile_time on all platforms

Currently, profile_time is only available on Windows. On other platforms, we should try using POSIX timers (e.g., timer_create) to implement time based profiling.

Details

Type: Feature Request Severity: Normal Category: Interpreter
Assigned To: unknown Status: New Reported Release:
Fixed in SVN #: View VCS: none Milestone: 4.1.0

Search



Quick Links

User menu

Not signed in.

Misc Menu