From 50ee6bdf639ffba989968abb9c24a57126ab35a4 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 18 Aug 2011 14:50:19 +0000
Subject: Presimplification SimplVolatile: cleaned up and integrated.
 test/*/Makefile: normalized 'bench' target

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1717 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/spass/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/spass')

diff --git a/test/spass/Makefile b/test/spass/Makefile
index 30832f82..536488bd 100644
--- a/test/spass/Makefile
+++ b/test/spass/Makefile
@@ -28,7 +28,7 @@ TIME=xtime -o /dev/null     # Xavier's hack
 #TIME=time >/dev/null       # Otherwise
 
 bench:
-	$(TIME) ./spass problem.dfg
+	@echo -n "spass: "; $(TIME) ./spass problem.dfg
 
 depend:
 	gcc -MM $(SRCS) > .depend
-- 
cgit