allow for ignoring some lines in the log files

[next-scripts] / setup_build

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