From d091725b9af5057d0ff85fb84bb792450b4a1f92 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Fri, 12 Jun 2015 17:01:33 +0200 Subject: Remove git scripts, they are now in separate repository --- git/checkout.sh | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100755 git/checkout.sh (limited to 'git/checkout.sh') diff --git a/git/checkout.sh b/git/checkout.sh deleted file mode 100755 index 11643c4..0000000 --- a/git/checkout.sh +++ /dev/null @@ -1,26 +0,0 @@ -#! /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 -- cgit v1.1