diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 18:29:57 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 18:29:57 +0200 |
commit | 4965352c558f8e030b3b968f98566f87ed6f0b8a (patch) | |
tree | 9b36abcf08c6240b09b8ed8087301a8d93c2ba5d /runtime | |
parent | c0449b50b6d461dbc431ee881ba3a35604961a42 (diff) | |
download | compcert-kvx-4965352c558f8e030b3b968f98566f87ed6f0b8a.tar.gz compcert-kvx-4965352c558f8e030b3b968f98566f87ed6f0b8a.zip |
do not print debug stuff
Diffstat (limited to 'runtime')
-rw-r--r-- | runtime/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/Makefile b/runtime/Makefile index bf979d5f..98cde235 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -1,6 +1,6 @@ include ../Makefile.config -CFLAGS=-O1 -g -Wall +CFLAGS=-O1 -Wall ifeq ($(ARCH),x86) ifeq ($(MODEL),64) |