mark this version as distinct from vanilla make

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
make profiling info stand out (until we have config)

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
profiling info on stderr; print only if it makes sense

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
'make -j' profile results

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
declare print_targets_update_time to remove warning

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
Improve the profiling output

Add make level and pid to profiling target identifier
separate start, end and delta fields using ';'

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
Profile option: -u/--update-time -> -P/--profiling

-P/--profile is a better name for profiling option
Profile option will accept parameter for ouput format

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
Added configurable profile format option

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
free up memory used by profile feature

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
make.1: Explain how -P works

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>
remove the warnings generated by the new code

Signed-off-by: Eddy Petrișor <eddy.petrisor@gmail.com>