diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-08-18 14:50:19 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-08-18 14:50:19 +0000 |
commit | 50ee6bdf639ffba989968abb9c24a57126ab35a4 (patch) | |
tree | 80e123d295a84372b13739b6905d583fa9bbe700 /test/regression/Makefile | |
parent | 62a07ee96d51c29bab9668d8c41bf5f8bdf9e23d (diff) |
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
Diffstat (limited to 'test/regression/Makefile')
-rw-r--r-- | test/regression/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/regression/Makefile b/test/regression/Makefile index eb50def..aeba3bd 100644 --- a/test/regression/Makefile +++ b/test/regression/Makefile @@ -1,8 +1,7 @@ include ../../Makefile.config CCOMP=../../ccomp -CCOMPFLAGS=-stdlib ../../runtime -dparse -dc -dclight -dasm \ - -fstruct-passing -fstruct-assign -fbitfields -fpacked-structs +CCOMPFLAGS=-stdlib ../../runtime -dparse -dc -dclight -dasm -fall LIBS=$(LIBMATH) @@ -10,7 +9,7 @@ LIBS=$(LIBMATH) TESTS=attribs1 bitfields1 bitfields2 bitfields3 bitfields4 \ bitfields5 bitfields6 bitfields7 \ - expr1 expr6 initializers volatile2 \ + expr1 expr6 initializers volatile2 volatile3 \ funct3 expr5 struct7 struct8 struct11 casts1 casts2 char1 \ sizeof1 sizeof2 packedstruct1 @@ -44,3 +43,4 @@ test: fi; \ done +bench: |