summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-01-19 19:46:19 +0000
committerDavid Allsopp <david.allsopp@metastack.com>2022-06-13 11:31:50 +0100
commit5f4859b8c8c08c9ab8a888a90f81435a1facc462 (patch)
tree05ace867df3fd4985983412322184c73729186e2 /tools
parenta3023cd9b63607c637f03924d0c0a9ceed099eec (diff)
downloadocaml-5f4859b8c8c08c9ab8a888a90f81435a1facc462.tar.gz
Rename the two Windows unicode C functions
Diffstat (limited to 'tools')
-rwxr-xr-xtools/check-symbol-names3
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/check-symbol-names b/tools/check-symbol-names
index 73aab89f32..74f01f3e55 100755
--- a/tools/check-symbol-names
+++ b/tools/check-symbol-names
@@ -34,9 +34,6 @@ $2 ~ /^_?uerror$/ { next }
$2 ~ /^__x86.get_pc_thunk./ { next }
# for mingw32
$2 ~ /^.debug_/ { next }
-# windows unicode support
-$2 ~ /^_win_multi_byte_to_wide_char$/ { next }
-$2 ~ /^_win_wide_char_to_multi_byte$/ { next }
# print the rest
{ found=1; print $1 " " $2 " " $3 }
# fail if there were any results