From 13175beba5ef151f830eba7c744314522536f59f Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 11 Aug 2006 12:28:38 +0000
Subject: [PATCH] * separates the sections pertaining to each component in the
 logfile, * together with begin / end dates

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 72cb1a79..6bc19333 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2003-2006 The Trustees of Princeton University
 #
-# $Id: Makefile,v 1.85 2006/03/08 21:29:25 mlhuang Exp $
+# $Id: Makefile,v 1.86 2006/03/08 21:38:50 mlhuang Exp $
 #
 
 # Default target
@@ -28,7 +28,9 @@ all: $(ALL)
 
 # Recurse
 $(ALL):
+	@echo -n "XXXXXXXXXXXXXXX -- BEG $@ " ; date
 	$(MAKE) package=$@
+	@echo -n "XXXXXXXXXXXXXXX -- END $@ " ; date
 
 # Remove files generated by this package
 $(foreach package,$(ALL),$(package)-clean): %-clean:
-- 
2.43.0