aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/rules.mk
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-07 15:26:57 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-07 15:26:57 +0100
commitb976979ce673c693dec0fc9c28c43d5b63ebd9b1 (patch)
treeb7424254756eb16dd70da21425373e45ccf39f0f /test/monniaux/rules.mk
parenta958e451457fb932248eb47ee44c833d57cfcdb7 (diff)
downloadcompcert-kvx-b976979ce673c693dec0fc9c28c43d5b63ebd9b1.tar.gz
compcert-kvx-b976979ce673c693dec0fc9c28c43d5b63ebd9b1.zip
stop warning about system includes
Diffstat (limited to 'test/monniaux/rules.mk')
-rw-r--r--test/monniaux/rules.mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk
index 9d345f2a..4944fe69 100644
--- a/test/monniaux/rules.mk
+++ b/test/monniaux/rules.mk
@@ -7,7 +7,7 @@ K1C_CC=k1-mbr-gcc
K1C_CFLAGS =-g -std=c99 -O2 -Wall -Wextra -Werror=implicit
K1C_CCOMP = ../../../ccomp
-K1C_CCOMPFLAGS=-O3 -Wall -fno-unprototyped
+K1C_CCOMPFLAGS=-O3 -Wall -Wno-c11-extensions -fno-unprototyped
EXECUTE=k1-cluster --syscall=libstd_scalls.so --