From 04d0d602ef7245fd566debd91bcb148acd9ed067 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 28 Jul 2014 12:13:15 +0000
Subject: PowerPC port: refactored the expansion of built-in functions and
 pseudo-instructions so that it does not need to be re-done in cchecklink.
 cchecklink: updated accordingly. testsuite: compile with -sdump and run
 cchecklink if supported.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2553 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 5771523..ab44be5 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -11,3 +11,6 @@ bench:
 
 clean:
 	for i in $(DIRS); do $(MAKE) -C $$i clean; done
+
+ccheck:
+	for i in $(DIRS); do $(MAKE) -C $$i ccheck; done
-- 
cgit v1.2.3