fetch_trees: suppress error for teh first fetch of a new tree

diff --git a/fetch_trees b/fetch_trees
index d1e3fa312909b8b4529426cb45582c36439cdb56..23698793e0a675ee3b43486cd78162e93ab6e9b9 100755 (executable)
--- a/fetch_trees
+++ b/fetch_trees
@@ -52,9 +52,9 @@ for name in $trees; do
        tfun=$(type -t "$fun")
        if [ "$tfun" = 'function' ]; then
                branch=$(get_remote_branch "$name")
-               old_sha=$(git rev-parse "$name/$branch")
+               old_sha=$(git rev-parse --quiet --verify "$name/$branch")
                "$fun" "$name"
-               new_sha=$(git rev-parse "$name/$branch")
+               new_sha=$(git rev-parse --verify "$name/$branch")
                check_dups "$name" origin/master "$new_sha"
                if ! [ "$new_sha" = "$old_sha" ]; then
                        "$tools_dir"/check_commits ^origin/master "$old_sha..$new_sha"