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/stat.sh | |
parent | d6477bdc97008e9bdd14cc4e31fcce82734afc74 (diff) |
Remove git scripts, they are now in separate repositoryas
Diffstat (limited to 'git/stat.sh')
-rwxr-xr-x | git/stat.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/git/stat.sh b/git/stat.sh deleted file mode 100755 index 5b9ea45..0000000 --- a/git/stat.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 "stat $i" 1>&2 - cd $i - git status - - if [ $? -ne 0 ]; then - echo "stat FAILED" 1>&2 - exit 1 - fi - - cd $wd -done |