diff options
author | David Allsopp <david.allsopp@metastack.com> | 2022-05-25 12:18:02 +0100 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2022-06-13 16:17:08 +0100 |
commit | b6f739cdbb3a4a62cb960c5d0c0b3b81ea7f2713 (patch) | |
tree | f31003af365b3d894caafc6bca3f556377622abd /tools | |
parent | 67a4d75cfafa040099cdd322e23464362359af29 (diff) | |
download | ocaml-b6f739cdbb3a4a62cb960c5d0c0b3b81ea7f2713.tar.gz |
Prefix all unix_ symbols caml_unix_
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/check-symbol-names | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/check-symbol-names b/tools/check-symbol-names index e2a00b4e79..0e1c829de4 100755 --- a/tools/check-symbol-names +++ b/tools/check-symbol-names @@ -21,8 +21,8 @@ set -o pipefail nm -A -P "$@" | LC_ALL=C awk ' # ignore caml_foo, camlFoo_bar, _caml_foo, _camlFoo_bar $2 ~ /^(\.refptr\.)?(__emutls_v\.)?(_?caml[_A-Z])/ { next } -# ignore re_foo and unix_foo -$2 ~ /^(\.refptr\.)?(_?(re|unix)_)/ { next } +# ignore re_foo +$2 ~ /^(\.refptr\.)?(_?re_)/ { next } # ignore local and undefined symbols $3 ~ /^[a-zU]$/ { next } # ignore "main", which should be externally linked |