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/uzlib/compile.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/monniaux/uzlib')

diff --git a/test/monniaux/uzlib/compile.sh b/test/monniaux/uzlib/compile.sh
index c97ae288..4b6b2563 100755
--- a/test/monniaux/uzlib/compile.sh
+++ b/test/monniaux/uzlib/compile.sh
@@ -1 +1 @@
-make CC=/home/monniaux/work/Kalray/CompCert/ccomp COPT="-Wall -O3"
+make CC=/home/monniaux/work/Kalray/CompCert/ccomp COPT="-Wall -Wno-c11-extensions -fno-unprototyped -O3"
-- 
cgit