make.sh « mbedtls « monniaux « test - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/test/monniaux/mbedtls/make.sh

blob: 5d40988e2c20abcceb66371c185428f7a337f9cc (plain)

1
2
3

CCOMP=`pwd`/../../../ccomp
cd mbedtls
make CC=$CCOMP CFLAGS="-fstruct-passing -fbitfields -Dvolatile= -U__STRICT_ANSI__" WARNING_CFLAGS="-Wall -fno-unprototyped" "$@"