Remove gdb_7_1-branch.

diff --git a/bin/master-UPDATE b/bin/master-UPDATE
index 276e099..220df3d 100755 (executable)
--- a/bin/master-UPDATE
+++ b/bin/master-UPDATE
@@ -1,7 +1,7 @@
 #! /bin/bash
 set -ex
 git fetch gdb
 #! /bin/bash
 set -ex
 git fetch gdb

-for i in gdb_7_1-branch master;do
+for i in master;do     # gdb_7_1-branch

        git checkout $i
        [ "`git status|head -n1`" = "# On branch $i" ]
        git pull origin
        git checkout $i
        [ "`git status|head -n1`" = "# On branch $i" ]
        git pull origin