aboutsummaryrefslogtreecommitdiffstats
path: root/tools/checkAPIs.pl
diff options
context:
space:
mode:
authorChris Maynard <Christopher.Maynard@GTECH.COM>2013-09-13 18:11:29 +0000
committerChris Maynard <Christopher.Maynard@GTECH.COM>2013-09-13 18:11:29 +0000
commit50bcbef658e745b4a07386f16f7109e3dd6b1f82 (patch)
tree1862cafd7f0d6b92d9d6a31bbd7a91415a77d5ef /tools/checkAPIs.pl
parent051c082a8ce5819f286474ece5eb66ccc4beca2a (diff)
OK, all the Makefiles use -build since r41943, so add that option back for now.
svn path=/trunk/; revision=52016
Diffstat (limited to 'tools/checkAPIs.pl')
-rwxr-xr-xtools/checkAPIs.pl4
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/checkAPIs.pl b/tools/checkAPIs.pl
index d0246984c4..6c7835b0f1 100755
--- a/tools/checkAPIs.pl
+++ b/tools/checkAPIs.pl
@@ -1871,6 +1871,7 @@ my $machine_readable_output = 0; # default: disabled
my $check_hf = 1; # default: enabled
my $check_addtext = 1; # default: enabled
my $debug_flag = 0; # default: disabled
+my $buildbot_flag = 0;
my $result = GetOptions(
'group=s' => \@apiGroups,
@@ -1879,6 +1880,7 @@ my $result = GetOptions(
'Machine-readable' => \$machine_readable_output,
'check-hf!' => \$check_hf,
'check-addtext!' => \$check_addtext,
+ 'build' => \$buildbot_flag,
'debug' => \$debug_flag
);
if (!$result) {
@@ -1990,7 +1992,7 @@ while ($_ = $ARGV[0])
check_snprintf_plus_strlen(\$fileContents, $filename);
- if ($check_addtext) {
+ if ($check_addtext && ! $buildbot_flag) {
checkAddTextCalls(\$fileContents, $filename);
}