Follow-up Comment #6, bug #40639 (project make): Here is a new version of the patch.
Author: Eddy Petrișor <eddy.petri...@gmail.com> Date: Tue Nov 19 05:14:40 2013 +0200 Now can choose profile format from predefined options Define 4 hard-coded profile printing formats which can be prefixed with an arbitary string. Formats are: simple, startend, short and long. -P can have an argument respecting the following form: [[prefix]:[separator]]<fmtopt> The default argument is equivalent to: PROFILE::short Signed-off-by: Eddy Petrișor <eddy.petri...@gmail.com> The information printed by each option is: simple /* %N:%S:%D */ startend /* %N:%S:%E */ short /* %N:%L:%P:%S:%E:%D */ long /* target=%N : level=%L : pid=%P : start=%S : end=%E : duration=%D */ Prefixed by the 'prefix' string and the fields separated by the 'separator' character. Where: %N target name %L recursion level for the make instance processing the target %P pid of the make instance processing the target %S start target timestamp (in miliseconds since 1 ian 1970) %E end target timestamp (in miliseconds since 1 ian 1970) %D difference between the target start and end timestamps (in miliseconds) and 'separator' can be any of: ' ' '%' '#' '@' '!' '`' '&' ':' ';' ',' '.' '|' '_' '+' '=' '^' '<' '>' '/' 't'. I have removed the man page update since is no longer correct. I haven't corrected the double issue and the portability issues since I want feedback on the core functionality. Please tell me what you think. (file #29800) _______________________________________________________ Additional Item Attachment: File name: profile-predefs-ga4937bc8.patch Size:10 KB _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?40639> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make