git://git.jankratochvil.net
/
massrebuild.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
dwarfredundant: +batch mode
[massrebuild.git]
/
dwarfredundant
diff --git
a/dwarfredundant
b/dwarfredundant
index
c7c50c0
..
32b798d
100755
(executable)
--- a/
dwarfredundant
+++ b/
dwarfredundant
@@
-14,12
+14,13
@@
for my $argv (@ARGV) {
my $die_text;
my $saved_total=0;
my $emptyline;
my $die_text;
my $saved_total=0;
my $emptyline;
+ my $anydebug;
sub null($) {
my($addr)=@_;
die if !$redundant;
my $saved=eval($addr)+1-eval($redundant_addr);
$saved_total+=$saved;
sub null($) {
my($addr)=@_;
die if !$redundant;
my $saved=eval($addr)+1-eval($redundant_addr);
$saved_total+=$saved;
- print "saved=$saved:\n$
redundant_text
saved_total=$saved_total\n\n" if !$quiet;
+ print "saved=$saved:\n$
{redundant_text}
saved_total=$saved_total\n\n" if !$quiet;
$redundant=0;
}
while (<F>) {
$redundant=0;
}
while (<F>) {
@@
-30,6
+31,7
@@
for my $argv (@ARGV) {
my($addr,$spaces,$rest)=(/^(0x[0-9a-f]{8}:| {11})( +)(.*)$/) or do {
next;
};
my($addr,$spaces,$rest)=(/^(0x[0-9a-f]{8}:| {11})( +)(.*)$/) or do {
next;
};
+ $anydebug=1;
if ($addr ne " "x11) {
$addr=~s/:$// or die;
} else {
if ($addr ne " "x11) {
$addr=~s/:$// or die;
} else {
@@
-68,5
+70,5
@@
for my $argv (@ARGV) {
}
}
close F or die;
}
}
close F or die;
- print "$saved_total
\n"
;
+ print "$saved_total
".(stat $argv)[7]." $argv\n" if $anydebug
;
}
}