From 669b10f42f03d5b782c50ea53e2947c9b943f8fc Mon Sep 17 00:00:00 2001 From: Jan Kratochvil Date: Tue, 8 Sep 2020 16:06:37 +0200 Subject: [PATCH] dwarfredundant: +batch mode --- dwarfredundant | 4 +++- dwarfredundant.sh | 16 ++++++++++++++++ 2 files changed, 19 insertions(+), 1 deletion(-) create mode 100755 dwarfredundant.sh diff --git a/dwarfredundant b/dwarfredundant index a7dd9e0..32b798d 100755 --- a/dwarfredundant +++ b/dwarfredundant @@ -14,6 +14,7 @@ for my $argv (@ARGV) { my $die_text; my $saved_total=0; my $emptyline; + my $anydebug; sub null($) { my($addr)=@_; die if !$redundant; @@ -30,6 +31,7 @@ for my $argv (@ARGV) { my($addr,$spaces,$rest)=(/^(0x[0-9a-f]{8}:| {11})( +)(.*)$/) or do { next; }; + $anydebug=1; if ($addr ne " "x11) { $addr=~s/:$// or die; } else { @@ -68,5 +70,5 @@ for my $argv (@ARGV) { } } close F or die; - print "$saved_total\n"; + print "$saved_total ".(stat $argv)[7]." $argv\n" if $anydebug; } diff --git a/dwarfredundant.sh b/dwarfredundant.sh new file mode 100755 index 0000000..f1dcd14 --- /dev/null +++ b/dwarfredundant.sh @@ -0,0 +1,16 @@ +#! /bin/bash +# echo build/*.dt5.rpm.rpms/*.rpm|xargs -P192 -n64 ./dwarfredundant.sh >dwarfredundant.out +# perl -ne >../err + cd .. + rm -rf work$$ +done -- 1.8.3.1