aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSam Ravnborg <sam@mars.(none)>2005-07-14 20:14:42 +0000
committerSam Ravnborg <sam@mars.(none)>2005-07-14 20:14:42 +0000
commit53e88e03e63621a15ec7fbccaaaca1a0f1616ed4 (patch)
tree011c20fd2e8c9e78539911f310f7d64b28a61e21
parentcfca82f2179dd1aee84a5bf3b14710e4d7487aed (diff)
downloadmrst-s0i3-test-53e88e03e63621a15ec7fbccaaaca1a0f1616ed4.tar.gz
mrst-s0i3-test-53e88e03e63621a15ec7fbccaaaca1a0f1616ed4.tar.xz
mrst-s0i3-test-53e88e03e63621a15ec7fbccaaaca1a0f1616ed4.zip
buildcheck: reduce DEBUG_INFO noise from reference* scripts
From: Randy Dunlap <rddunlap@osdl.org> Reduce noise in 'make buildcheck' that is caused by CONFIG_DEBUG_INFO=y. Signed-off-by: Randy Dunlap <rddunlap@osdl.org> Signed-off-by: Sam Ravnborg <sam@ravnborg.org>
-rw-r--r--scripts/reference_discarded.pl3
-rw-r--r--scripts/reference_init.pl1
2 files changed, 4 insertions, 0 deletions
diff --git a/scripts/reference_discarded.pl b/scripts/reference_discarded.pl
index d5cabb81bd1..44b8722da0e 100644
--- a/scripts/reference_discarded.pl
+++ b/scripts/reference_discarded.pl
@@ -82,6 +82,8 @@ foreach $object (keys(%object)) {
}
if (($line =~ /\.text\.exit$/ ||
$line =~ /\.exit\.text$/ ||
+ $line =~ /\.text\.init$/ ||
+ $line =~ /\.init\.text$/ ||
$line =~ /\.data\.exit$/ ||
$line =~ /\.exit\.data$/ ||
$line =~ /\.exitcall\.exit$/) &&
@@ -96,6 +98,7 @@ foreach $object (keys(%object)) {
$from !~ /\.debug_ranges$/ &&
$from !~ /\.debug_line$/ &&
$from !~ /\.debug_frame$/ &&
+ $from !~ /\.debug_loc$/ &&
$from !~ /\.exitcall\.exit$/ &&
$from !~ /\.eh_frame$/ &&
$from !~ /\.stab$/)) {
diff --git a/scripts/reference_init.pl b/scripts/reference_init.pl
index 9a240845386..7f6960b175a 100644
--- a/scripts/reference_init.pl
+++ b/scripts/reference_init.pl
@@ -98,6 +98,7 @@ foreach $object (sort(keys(%object))) {
$from !~ /\.pdr$/ &&
$from !~ /\__param$/ &&
$from !~ /\.altinstructions/ &&
+ $from !~ /\.eh_frame/ &&
$from !~ /\.debug_/)) {
printf("Error: %s %s refers to %s\n", $object, $from, $line);
}