Include gdb_7_1-branch.

diff --git a/bin/master-UPDATE b/bin/master-UPDATE
index 5c484a6..276e099 100755 (executable)
--- a/bin/master-UPDATE
+++ b/bin/master-UPDATE
@@ -1,9 +1,11 @@
 #! /bin/bash
 set -ex
-git pull origin
-git checkout master
-[ "`git status|head -n1`" = "# On branch master" ]
 git fetch gdb
-git merge gdb/master
-git push origin master
+for i in gdb_7_1-branch master;do
+       git checkout $i
+       [ "`git status|head -n1`" = "# On branch $i" ]
+       git pull origin
+       git merge gdb/$i
+       git push origin $i
+done
 echo OK