id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,difficulty 741,add compiler option for selective profiling,felix winkelmann,felix winkelmann,"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 ",enhancement,closed,not urgent at all,,compiler,4.7.x,wontfix,profiling,,medium