From 4070a6957f0f565352edd3ba1d33ee573536fffc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jurko=20Gospodneti=C4=87?= <jurko.gospodnetic@pke.hr>
Date: Mon, 25 Jun 2012 08:09:07 +0000
Subject: [PATCH] Boost Jam code cleanup - ExecCmdCallback timing_info *
 parameter marked as pointer to const.

[SVN r79074]
---
 v2/engine/execcmd.h | 2 +-
 v2/engine/make1.c   | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/v2/engine/execcmd.h b/v2/engine/execcmd.h
index c46c472e0..e3e4019e7 100644
--- a/v2/engine/execcmd.h
+++ b/v2/engine/execcmd.h
@@ -32,7 +32,7 @@ typedef void (* ExecCmdCallback)
 (
     void * closure,
     int status,
-    timing_info *,
+    timing_info const *,
     char const * invoked_command,
     char const * command_output
 );
diff --git a/v2/engine/make1.c b/v2/engine/make1.c
index 8580bfa03..36d06f916 100644
--- a/v2/engine/make1.c
+++ b/v2/engine/make1.c
@@ -99,7 +99,7 @@ static void make1atail  ( state * );
 static void make1b      ( state * );
 static void make1c      ( state * );
 static void make1d      ( state * );
-static void make_closure( void * closure, int status, timing_info *,
+static void make_closure( void * closure, int status, timing_info const *,
     char const *, char const * );
 
 typedef struct _stack
@@ -807,7 +807,7 @@ static void make_closure
 (
     void * closure,
     int status,
-    timing_info * time,
+    timing_info const * time,
     char const * executed_command,
     char const * command_output
 )