From f59f91c220ea92798238abb88f70e8e418cabaa7 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Mon, 24 Sep 2012 09:07:15 +0200
Subject: Add git gc script

---
 git/gc.sh | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100755 git/gc.sh

diff --git a/git/gc.sh b/git/gc.sh
new file mode 100755
index 0000000..c12be6f
--- /dev/null
+++ b/git/gc.sh
@@ -0,0 +1,21 @@
+#! /bin/sh
+
+# Assume this script never run via PATH.
+#
+self=`realpath $0`
+. `dirname $self`/modules
+
+wd=`pwd`
+
+for i in $modules; do
+  echo "gc $i" 1>&2
+  cd $i
+  git gc
+
+  if [ $? -ne 0 ]; then
+    echo "gc FAILED" 1>&2
+    exit 1
+  fi
+
+  cd $wd
+done
-- 
cgit v1.1