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 7cc4c68eb6
commit 1083a25a29

View file

@ -30,9 +30,9 @@ if [ -n "$make_ret" ]; then
fi fi
if uname | grep -F Darwin >/dev/null; then 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 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 fi | sort > exported-symbols
make clean make clean