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/Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'test/Makefile')

diff --git a/test/Makefile b/test/Makefile
index d29cd8d..5771523 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -6,5 +6,8 @@ all:
 test:
 	for i in $(DIRS); do $(MAKE) -C $$i test; done
 
+bench:
+	for i in $(DIRS); do $(MAKE) -C $$i bench; done
+
 clean:
 	for i in $(DIRS); do $(MAKE) -C $$i clean; done
-- 
cgit v1.2.3