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/fetch.sh | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100755 git/fetch.sh (limited to 'git/fetch.sh') diff --git a/git/fetch.sh b/git/fetch.sh deleted file mode 100755 index 185d531..0000000 --- a/git/fetch.sh +++ /dev/null @@ -1,21 +0,0 @@ -#! /bin/sh - -# Assume this script never run via PATH. -# -self=`realpath $0` -. `dirname $self`/modules - -wd=`pwd` - -for i in $modules; do - echo "fetch $i" 1>&2 - cd $i - git fetch $* - - if [ $? -ne 0 ]; then - echo "fetch FAILED" 1>&2 - exit 1 - fi - - cd $wd -done -- cgit v1.1