Add git helper scripts

1 files changed, 18 insertions, 0 deletions

diff --git a/fetch.sh b/fetch.sh
new file mode 100755
index 0000000..d41278a
--- /dev/null
+++ b/fetch.sh
@@ -0,0 +1,18 @@
+#! /bin/sh
+
+. etc/git/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