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
