diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/checkAPIs.pl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/checkAPIs.pl b/tools/checkAPIs.pl index a1fedb61da..9fab2dd9ff 100755 --- a/tools/checkAPIs.pl +++ b/tools/checkAPIs.pl @@ -160,6 +160,12 @@ while ($_ = $ARGV[0]) # Read in the file (ouch, but it's easier that way) my $fileContents = `cat $filename`; + if ($fileContents =~ m{[\x80-\xFF]}) + { + print "Error: found non-ASCII characters in " .$filename."\n"; + $errorCount++; + } + # Remove all the C-comments and strings $fileContents =~ s {$commentAndStringRegex} []g; |