diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/checkAPIs.pl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/checkAPIs.pl b/tools/checkAPIs.pl index 762d5f8eed..8b17aef693 100755 --- a/tools/checkAPIs.pl +++ b/tools/checkAPIs.pl @@ -179,8 +179,9 @@ while ($_ = $ARGV[0]) if ($fileContents =~ m{[\x80-\xFF]}) { - print "Error: found non-ASCII characters in " .$filename."\n"; - $errorCount++; + print "Warning: found non-ASCII characters in " .$filename."\n"; +# Treat as warning +# $errorCount++; } if ($fileContents =~ m{%ll}) |