diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2015-06-12 17:01:33 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2015-06-12 17:01:33 +0200 |
| commit | d091725b9af5057d0ff85fb84bb792450b4a1f92 (patch) | |
| tree | cd3f74275a0d42c02db2b219201589b08555e927 /git/pull.sh | |
| parent | d6477bdc97008e9bdd14cc4e31fcce82734afc74 (diff) | |
Remove git scripts, they are now in separate repositoryas
Diffstat (limited to 'git/pull.sh')
| -rwxr-xr-x | git/pull.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/git/pull.sh b/git/pull.sh deleted file mode 100755 index 07684da..0000000 --- a/git/pull.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 "pull $i" 1>&2 - cd $i - git pull $* - - if [ $? -ne 0 ]; then - echo "pull FAILED" 1>&2 - exit 1 - fi - - cd $wd -done |