allow for ignoring some lines in the log files

diff --git a/do_build b/do_build
index 6ee8addd405add8fcdae1fc740c4c798ddfa3bf0..9c3e1a02a328d8ab7f83cf1aa0577743bf37f6ae 100755 (executable)
--- 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 1d1fec847826676cba9b0aa30a313782d746175a..4921163cea94a8073f8c92e4db062f0cefdea2da 100755 (executable)
--- a/setup_build
+++ b/setup_build
@@ -18,4 +18,5 @@ $cmd /bin/sh <<EOF
        ( cd linus.git; git remote update || true )
        rm -rf "$bdir"
        git clone -s -l -c gc.auto=0 linus.git "$bdir"
+       cp /dev/null log-ignore
 EOF