From 54cba6d4cae1538887f296a62be1c99378fe0916 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 3 Mar 2010 13:22:44 +0000
Subject: Suppressed -fall-extensions option, too dangerous wrt flonglong

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1275 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/regression/Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'test/regression/Makefile')

diff --git a/test/regression/Makefile b/test/regression/Makefile
index 2af20e62..cc8684c6 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -1,7 +1,8 @@
 include ../../Makefile.config
 
 CCOMP=../../ccomp
-CCOMPFLAGS=-stdlib ../../runtime -dparse -dclight -dasm -fall-extensions
+CCOMPFLAGS=-stdlib ../../runtime -dparse -dclight -dasm \
+  -fstruct-passing -fstruct-assign -fbitfields
 
 LIBS=$(LIBMATH)
 
@@ -30,7 +31,7 @@ clean:
 	rm -f *.compcert
 	rm -f *.parsed.c *.light.c *.s *.o *~ 
 
-test_compcert:
+test:
 	@for i in $(TESTS); do \
 	   if ./$$i.compcert | cmp -s - Results/$$i; \
            then echo "$$i: passed"; \
-- 
cgit