From 90ea5861b2392ade08729f779d5fd9a656caacd4 Mon Sep 17 00:00:00 2001 From: Stephen Rothwell Date: Tue, 26 Jul 2016 08:51:54 +1000 Subject: [PATCH] allow for ignoring some lines in the log files --- do_build | 2 +- setup_build | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/do_build b/do_build index 6ee8add..9c3e1a0 100755 --- a/do_build +++ b/do_build @@ -61,7 +61,7 @@ $cmd <<-EOF cat \$log b=\$(basename \$log) if [ -f $obdir/\$b ]; then - if [ \$(wc -l <$obdir/\$b) -lt \$(wc -l <\$log) ]; then + if [ \$(wc -l <$obdir/\$b) -lt \$(grep -v -F -f $bparent/log-ignore <\$log | wc -l) ]; then echo "\$sep" echo " log \$b increased number of lines" echo "\$sep" diff --git a/setup_build b/setup_build index 1d1fec8..4921163 100755 --- a/setup_build +++ b/setup_build @@ -18,4 +18,5 @@ $cmd /bin/sh <