git/checkout.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

#! /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 $modules; do
  echo "checkout $i" 1>&2
  cd $i
  git checkout $*

  if [ $? -ne 0 ]; then
    echo "checkout FAILED" 1>&2
    exit 1
  fi

  cd $wd
done