Summary

add compiler option for selective profiling

Metadata

Description

Currently profiling for particular procedures can only be done via a declaration (`(declare (profile ID ...))`). Sven Hartrumpf suggested adding a command-line option for this. For example

 -profile-only ID

Changes and comments

[2016-08-25 21:04:51 UTC] sjamaan set difficulty to medium

[2023-03-10 11:33:49 UTC] felix changed status from new to closed

[2023-03-10 11:33:49 UTC] felix set resolution to wontfix