Fix checkout of new tracking branches

With git checkout "$CVSTAG" -- a new tracking branch is not created if
only remote branch origin/$CVSTAG exist.

diff --git a/builder.sh b/builder.sh
index dac478d43ba526b87a79f9a2bce74ee9ae2afa16..2a200600b4f48c09f13ba64c2c981a4a76075a65 100755 (executable)
--- a/builder.sh
+++ b/builder.sh
@@ -777,7 +777,7 @@ get_spec() {
        fi
 
        if [ -n "$CVSTAG" ]; then
-               git checkout "$CVSTAG" -- || exit
+               git checkout "$CVSTAG" -- 2>/dev/null || git checkout -t "origin/$CVSTAG" > /dev/null || exit
                git symbolic-ref -q HEAD > /dev/null &&
                        git merge '@{u}'
        fi