aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2017-08-26 10:10:38 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2017-08-26 10:10:38 +0200
commitdb9e62aa52fe611d28a168ebbce4c454e349830c (patch)
tree9156aaf67db9131b0eb883138d69fd5b253a884e /test/regression
parentf6cbce233ef89c30bbc8334c800e8a205677ec8b (diff)
downloadcompcert-kvx-db9e62aa52fe611d28a168ebbce4c454e349830c.tar.gz
compcert-kvx-db9e62aa52fe611d28a168ebbce4c454e349830c.zip
test/: add a CCOMPOPTS make variable to pass additional compile-time flags
E.g. "-Os" for testing in "optimize for size" mode, or "-mthumb" for testing ARM in Thumb2 mode.
Diffstat (limited to 'test/regression')
-rw-r--r--test/regression/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regression/Makefile b/test/regression/Makefile
index 25b47c7e..fd34bb1b 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -1,7 +1,7 @@
include ../../Makefile.config
CCOMP=../../ccomp
-CCOMPFLAGS=-stdlib ../../runtime -dparse -dc -dclight -dasm -fall
+CCOMPFLAGS=$(CCOMPOPTS) -stdlib ../../runtime -dparse -dc -dclight -dasm -fall
LIBS=$(LIBMATH)