Add a shared build with make on Linux to all.sh
This commit is contained in:
parent
c7781addcb
commit
9b06abe1d1
1 changed files with 6 additions and 0 deletions
|
@ -186,6 +186,12 @@ scripts/config.pl unset MBEDTLS_NET_C # getaddrinfo() undeclared, etc.
|
||||||
scripts/config.pl set MBEDTLS_NO_PLATFORM_ENTROPY # uses syscall() on GNU/Linux
|
scripts/config.pl set MBEDTLS_NO_PLATFORM_ENTROPY # uses syscall() on GNU/Linux
|
||||||
CC=gcc CFLAGS='-Werror -O0 -std=c99 -pedantic' make lib
|
CC=gcc CFLAGS='-Werror -O0 -std=c99 -pedantic' make lib
|
||||||
|
|
||||||
|
if uname -a | grep -F Linux >/dev/null; then
|
||||||
|
msg "build/test: make shared" # ~ 40s
|
||||||
|
cleanup
|
||||||
|
make SHARED=1 all check
|
||||||
|
fi
|
||||||
|
|
||||||
if uname -a | grep -F x86_64 >/dev/null; then
|
if uname -a | grep -F x86_64 >/dev/null; then
|
||||||
msg "build: i386, make, gcc" # ~ 30s
|
msg "build: i386, make, gcc" # ~ 30s
|
||||||
cleanup
|
cleanup
|
||||||
|
|
Loading…
Reference in a new issue