diff options
author | David Allsopp <david.allsopp@metastack.com> | 2022-05-25 12:00:19 +0100 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2022-06-13 16:15:13 +0100 |
commit | 67a4d75cfafa040099cdd322e23464362359af29 (patch) | |
tree | 8cb62f336905507450a7f9c24eb804d38e9194b6 /tools | |
parent | caac3b20eba14d161fa9f7d37f5f7ab92afa9bb9 (diff) | |
download | ocaml-67a4d75cfafa040099cdd322e23464362359af29.tar.gz |
Rename uerror to caml_uerror
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/check-symbol-names | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/check-symbol-names b/tools/check-symbol-names index 3ad64216ca..e2a00b4e79 100755 --- a/tools/check-symbol-names +++ b/tools/check-symbol-names @@ -28,8 +28,6 @@ $3 ~ /^[a-zU]$/ { next } # ignore "main", which should be externally linked $2 ~ /^_?main$/ { next } $2 ~ /^_?wmain$/ { next } -# uerror is too widely known! -$2 ~ /^_?uerror$/ { next } # for x86 PIC mode $2 ~ /^__x86.get_pc_thunk./ { next } # for mingw32 |