diff --git a/v2/test/timedata.py b/v2/test/timedata.py index 265163b57..d6eb3e334 100644 --- a/v2/test/timedata.py +++ b/v2/test/timedata.py @@ -22,7 +22,7 @@ actions time echo timed from $(>) >> $(<) } -rule record_time ( target source : user : system ) +rule record_time ( target : source : start end user system ) { ECHO record_time called: $(target) / $(source) / $(user) / $(system) ; __USER_TIME__ on $(target) = $(user) ; diff --git a/v2/tools/testing.jam b/v2/tools/testing.jam index 6a9c8407d..cbe429644 100644 --- a/v2/tools/testing.jam +++ b/v2/tools/testing.jam @@ -509,7 +509,7 @@ IMPORT $(__name__) : compile compile-fail run run-fail link link-fail type.register TIME : time ; generators.register-standard testing.time : : TIME ; -rule record-time ( target source : user : system ) +rule record-time ( target : source : start end user system ) { local src-string = [$(source:G=:J=",")"] " ; USER_TIME on $(target) += $(src-string)$(user) ;