[bug #40639] GNU Make with profiling information

[Eddy Petrișor]

Follow-up Comment #6, bug #40639 (project make):

Here is a new version of the patch.

Author: Eddy Petrișor <address@hidden>
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 <address@hidden>


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/