From: grafikrobot_at_[hidden]
Date: 2007-12-22 16:32:17
Author: grafik
Date: 2007-12-22 16:32:17 EST (Sat, 22 Dec 2007)
New Revision: 42247
URL: http://svn.boost.org/trac/boost/changeset/42247
Log:
Fix time related callbacks to new arguments.
Text files modified:
trunk/tools/build/v2/test/timedata.py | 2 +-
trunk/tools/build/v2/tools/testing.jam | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
Modified: trunk/tools/build/v2/test/timedata.py
==============================================================================
--- trunk/tools/build/v2/test/timedata.py (original)
+++ trunk/tools/build/v2/test/timedata.py 2007-12-22 16:32:17 EST (Sat, 22 Dec 2007)
@@ -22,7 +22,7 @@
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) ;
Modified: trunk/tools/build/v2/tools/testing.jam
==============================================================================
--- trunk/tools/build/v2/tools/testing.jam (original)
+++ trunk/tools/build/v2/tools/testing.jam 2007-12-22 16:32:17 EST (Sat, 22 Dec 2007)
@@ -509,7 +509,7 @@
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) ;