don't worry if we can't update Linus' tree on the build machine

diff --git a/setup_build b/setup_build
index fad8dc4742e6d0874e0a0481cb744ab4b8466d79..3b9fc15d37dde1f2e70fad1ef773ea7a6035df5b 100755 (executable)
--- a/setup_build
+++ b/setup_build
@@ -24,7 +24,7 @@ ssh "$build_host" /bin/sh <<EOF
        [ -d tmp ] || mkdir tmp
        [ -d .ccache ] || mkdir .ccache
        cd linus.git
-       git remote update
+       git remote update || true
        cd ..
        git clone -s -l -c gc.auto=0 linus.git next
 EOF