possibly fix one error

diff --git a/all b/all
index daf164cdf06636945c59cac4e8c2e6c5ba099cb1..d5c57c5275d6abf93debda5ccc264f418ab7f931 100755 (executable)
--- a/all
+++ b/all
@@ -309,7 +309,7 @@ fix_git_config()
        fi
        verbose git config remote.origin.fetch "+refs/heads/*:refs/remotes/origin/*"
        verbose git config core.autocrlf input
-       if [ -z "`git config push.default`" ]; then
+       if [ -z "`git config push.default || true`" ]; then
                verbose git config push.default current # or is tracking better?
        fi
        git config filter.mapclean.clean "grep ^[^/]"