diff options
-rwxr-xr-x | test/monniaux/mbedtls/make.sh | 2 | ||||
-rw-r--r-- | test/monniaux/rules.mk | 2 | ||||
-rwxr-xr-x | test/monniaux/uzlib/compile.sh | 2 |
3 files changed, 3 insertions, 3 deletions
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" "$@" 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 -- 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" |