From b976979ce673c693dec0fc9c28c43d5b63ebd9b1 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 7 Mar 2019 15:26:57 +0100
Subject: stop warning about system includes

---
 test/monniaux/mbedtls/make.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/monniaux/mbedtls')

diff --git a/test/monniaux/mbedtls/make.sh b/test/monniaux/mbedtls/make.sh
index 5d40988e..62eb87db 100755
--- a/test/monniaux/mbedtls/make.sh
+++ b/test/monniaux/mbedtls/make.sh
@@ -1,3 +1,3 @@
 CCOMP=`pwd`/../../../ccomp
 cd mbedtls
-make CC=$CCOMP CFLAGS="-fstruct-passing -fbitfields -Dvolatile= -U__STRICT_ANSI__" WARNING_CFLAGS="-Wall -fno-unprototyped" "$@"
+make CC=$CCOMP CFLAGS="-fstruct-passing -fbitfields -Dvolatile= -U__STRICT_ANSI__" WARNING_CFLAGS="-Wall -Wno-c11-extensions -fno-unprototyped" "$@"
-- 
cgit