[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #40639] GNU Make with profiling information

From: Eddy Petrișor
Subject: [bug #40639] GNU Make with profiling information
Date: Sat, 07 Dec 2013 01:11:56 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131030 Firefox/17.0 Iceweasel/17.0.10

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:
    The default argument is equivalent to:
    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'


    %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

and 'separator' can be any of:

' ' '%' '#' '@' '!' '`' '&' ':' ';' ',' '.' '|' '_' '+' '=' '^' '<' '>' '/'

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:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]