ECDH: Exclude FStar and Hacl* from exported symbol checks

This commit is contained in:
Christoph M. Wintersteiger 2018-12-14 13:34:06 +00:00 committed by Janos Follath
parent 346932a099
commit 9b33e7d7d7

View File

@ -30,9 +30,9 @@ if [ -n "$make_ret" ]; then
fi
if uname | grep -F Darwin >/dev/null; then
nm -gUj library/libmbed*.a 2>/dev/null | sed -n -e 's/^_//p'
nm -gUj library/libmbed*.a 2>/dev/null | sed -n -e 's/^_//p' | grep -v -e ^FStar -e ^Hacl
elif uname | grep -F Linux >/dev/null; then
nm -og library/libmbed*.a | grep -v '^[^ ]*: *U \|^$\|^[^ ]*:$' | sed 's/^[^ ]* . //'
nm -og library/libmbed*.a | grep -v '^[^ ]*: *U \|^$\|^[^ ]*:$' | sed 's/^[^ ]* . //' | grep -v -e ^FStar -e ^Hacl
fi | sort > exported-symbols
make clean