diff options
Diffstat (limited to 'Tools/Scripts/check-for-global-initializers')
-rwxr-xr-x | Tools/Scripts/check-for-global-initializers | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Tools/Scripts/check-for-global-initializers b/Tools/Scripts/check-for-global-initializers index 102fa09..7f90577 100755 --- a/Tools/Scripts/check-for-global-initializers +++ b/Tools/Scripts/check-for-global-initializers @@ -124,6 +124,12 @@ for my $file (sort @files) { next if $shortName eq "HostedNetscapePluginStream.o"; next if $shortName eq "NetscapePluginInstanceProxy.o"; } + if ($target eq "WebKit2") { + next if $shortName eq "WebContext.o"; + next if $shortName eq "WebFrame.o"; + next if $shortName eq "WebPage.o"; + next if $shortName eq "WebPageProxy.o"; + } } print "ERROR: $shortName has one or more global initializers in it! ($file), near @globals\n"; |