diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-07-24 14:33:57 +0200 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-07-24 14:33:57 +0200 |
commit | 9a8fcdd29d763d2b5650166ddd5b359a8bfed373 (patch) | |
tree | 7675895f88b344e88ce0263cf1faf52daece73d7 /test/regression | |
parent | 3c8429b030efcaba205b8d0faf7fdd1f174ea1e7 (diff) | |
download | compcert-kvx-9a8fcdd29d763d2b5650166ddd5b359a8bfed373.tar.gz compcert-kvx-9a8fcdd29d763d2b5650166ddd5b359a8bfed373.zip |
trace quand le simulateur est appele
Diffstat (limited to 'test/regression')
-rw-r--r-- | test/regression/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regression/Makefile b/test/regression/Makefile index 87827282..8b2f4021 100644 --- a/test/regression/Makefile +++ b/test/regression/Makefile @@ -2,7 +2,7 @@ include ../../Makefile.config CCOMP=../../ccomp # TODO - temporary -CCOMPOPTS:=$(CCOMPOPTS) -fall-loads-nontrap -fduplicate 2 -fprepass +# CCOMPOPTS:=$(CCOMPOPTS) -fall-loads-nontrap -fduplicate 2 -fprepass CCOMPFLAGS=$(CCOMPOPTS) -stdlib ../../runtime \ -dparse -dc -dclight -dasm -fall \ -DARCH_$(ARCH) -DMODEL_$(MODEL) |