Skip to content

Commit

Permalink
Allow functions in win32unix to begin with win_
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Jan 20, 2022
1 parent 42d03f1 commit a2f48b7
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions tools/check-symbol-names
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,8 @@ $3 ~ /^[a-zU]$/ { next }
# ignore "main", which should be externally linked
$2 ~ /^_?main$/ { next }
$2 ~ /^_?wmain$/ { next }
# Ignore win_ in Windows unix library
$1 ~ /\/win32unix/ && $2 ~/^_?win_/ { next }
# uerror is too widely known!
$2 ~ /^_?uerror$/ { next }
# Caml_state escapes the prefixing rule for now
Expand Down

0 comments on commit a2f48b7

Please sign in to comment.