Remove git scripts, they are now in separate repositoryas

1 files changed, 0 insertions, 29 deletions

diff --git a/git/diff.sh b/git/diff.sh
deleted file mode 100755
index bd4639e..0000000
--- a/git/diff.sh
+++ /dev/null
@@ -1,29 +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 "diff $i" 1>&2
-  cd $i
-
-  git --no-pager diff
-
-  if [ $? -ne 0 ]; then
-    echo "diff FAILED" 1>&2
-    exit 1
-  fi
-
-  git --no-pager diff --check
-
-  if [ $? -ne 0 ]; then
-    echo "diff --check FAILED" 1>&2
-    exit 1
-  fi
-
-  cd $wd
-done