diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-08 16:24:48 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-08 16:24:48 +0100 |
commit | 4a3a66fca16b2094ff9c3f27fcaf0a70983663c3 (patch) | |
tree | ec8c8044f5da5f597faad8f76f5f12e43b583456 /test/monniaux/jpeg-6b/Makefile | |
parent | 4206ca72bb9abf32949e4d31983762e46ef114ad (diff) | |
download | compcert-kvx-4a3a66fca16b2094ff9c3f27fcaf0a70983663c3.tar.gz compcert-kvx-4a3a66fca16b2094ff9c3f27fcaf0a70983663c3.zip |
disable useless warnings
Diffstat (limited to 'test/monniaux/jpeg-6b/Makefile')
-rw-r--r-- | test/monniaux/jpeg-6b/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/jpeg-6b/Makefile b/test/monniaux/jpeg-6b/Makefile index a7911678..4ddba98c 100644 --- a/test/monniaux/jpeg-6b/Makefile +++ b/test/monniaux/jpeg-6b/Makefile @@ -10,7 +10,7 @@ CC= ../../../ccomp EXECUTE=k1-cluster --syscall=libstd_scalls.so -- # You may need to adjust these cc options: -CFLAGS= -O3 -Wall +CFLAGS= -O3 -Wall -Wno-c11-extensions # Generally, we recommend defining any configuration symbols in jconfig.h, # NOT via -D switches here. # However, any special defines for ansi2knr.c may be included here: |