From 70dc97d9de304d798029ea093fab0ff6308e110c Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Thu, 24 Feb 2011 13:55:22 +0200
Subject: Add checkout script

---
 git/checkout.sh | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 git/checkout.sh

diff --git a/git/checkout.sh b/git/checkout.sh
new file mode 100755
index 0000000..c8adf54
--- /dev/null
+++ b/git/checkout.sh
@@ -0,0 +1,20 @@
+#! /bin/sh
+
+# Assume this script never run via PATH.
+#
+self=`realpath $0`
+. `dirname $self`/modules
+
+wd=`pwd`
+
+if [ "$1" = "" ]; then
+  echo "branch name expected" 1>&2
+  exit 1
+fi
+
+for i in $odb_modules; do
+  echo "checkout $i" 1>&2
+  cd $i
+  git checkout $*
+  cd $wd
+done
-- 
cgit v1.1