diff options
author | David Allsopp <david.allsopp@metastack.com> | 2022-05-24 17:14:58 +0100 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2022-06-13 11:31:50 +0100 |
commit | 99623f45fd14e11b2ed354a278c3568b2b1e7123 (patch) | |
tree | 0300d2a71f7d3c953cb30606a13cac9f894cabef /tools | |
parent | 43f81b84daac960a28e7e4113cf69f3f3b8d9b8a (diff) | |
download | ocaml-99623f45fd14e11b2ed354a278c3568b2b1e7123.tar.gz |
Strip GCC emulated TLS mangling
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/check-symbol-names | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/check-symbol-names b/tools/check-symbol-names index 69971b291c..91f321f453 100755 --- a/tools/check-symbol-names +++ b/tools/check-symbol-names @@ -20,7 +20,7 @@ set -o pipefail nm -A -P "$@" | LC_ALL=C awk ' # ignore caml_foo, camlFoo_bar, _caml_foo, _camlFoo_bar -$2 ~ /^(\.refptr\.)?(_?caml[_A-Z])/ { next } +$2 ~ /^(\.refptr\.)?(__emutls_v\.)?(_?caml[_A-Z])/ { next } # ignore re_foo and unix_foo $2 ~ /^(\.refptr\.)?(_?(re|unix)_)/ { next } # ignore local and undefined symbols |