From 4a3a66fca16b2094ff9c3f27fcaf0a70983663c3 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 8 Mar 2019 16:24:48 +0100
Subject: disable useless warnings

---
 test/monniaux/BearSSL/conf/KalrayCompCert.mk | 2 +-
 test/monniaux/idea/Makefile                  | 2 +-
 test/monniaux/jpeg-6b/Makefile               | 2 +-
 test/monniaux/tiny-AES-c/Makefile            | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'test')

diff --git a/test/monniaux/BearSSL/conf/KalrayCompCert.mk b/test/monniaux/BearSSL/conf/KalrayCompCert.mk
index 917fc947..e2bef9d8 100644
--- a/test/monniaux/BearSSL/conf/KalrayCompCert.mk
+++ b/test/monniaux/BearSSL/conf/KalrayCompCert.mk
@@ -39,7 +39,7 @@ MKDIR = mkdir -p
 # C compiler and flags.
 CC = ../../../ccomp -fstruct-passing
 GCC=k1-mbr-gcc
-CFLAGS = -W -Wall -O3 -D_POSIX_C_SOURCE=200909L
+CFLAGS = -W -Wall -Wno-c11-extensions -O3 -D_POSIX_C_SOURCE=200909L
 CCOUT = -c -o 
 
 # Static library building tool.
diff --git a/test/monniaux/idea/Makefile b/test/monniaux/idea/Makefile
index 75b7ce43..4637a3a4 100644
--- a/test/monniaux/idea/Makefile
+++ b/test/monniaux/idea/Makefile
@@ -8,7 +8,7 @@ idea.gcc.host: idea.c idea.h ../clock.gcc.host.o
 	$(CC) $(CFLAGS) idea.c ../clock.gcc.host.o -o $@
 
 idea.ccomp.host: idea.c idea.h ../clock.gcc.host.o
-	$(CCOMP) $(CFLAGS) idea.c ../clock.gcc.host.o -o $@
+	$(CCOMP) $(CCOMPFLAGS) idea.c ../clock.gcc.host.o -o $@
 
 idea.gcc.k1c.s idea.ccomp.k1c.s idea_run.gcc.k1c.s: idea.h
 
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:
diff --git a/test/monniaux/tiny-AES-c/Makefile b/test/monniaux/tiny-AES-c/Makefile
index c369e40f..e9d821b3 100644
--- a/test/monniaux/tiny-AES-c/Makefile
+++ b/test/monniaux/tiny-AES-c/Makefile
@@ -5,7 +5,7 @@ CC           = ../../../ccomp
 LD           = ../../../ccomp
 AR           = ar
 ARFLAGS      = rcs
-CFLAGS       = -Wall -O3 -c
+CFLAGS       = -Wall -Wno-c11-extensions -O3 -c
 LDFLAGS      = -Wall -O3 # -Wl,-Map,test.map
 ifdef AES192
 CFLAGS += -DAES192=1
-- 
cgit