Add a simple distribution script.

1 files changed, 25 insertions, 0 deletions

diff --git a/dist.sh b/dist.sh
new file mode 100755
index 000000000..c8b201e3d
--- /dev/null
+++ b/dist.sh
@@ -0,0 +1,25 @@
+#!/bin/sh
+
+if [ $# -ne 1 ] ; then
+	echo "Usage: dist.sh <filename>"
+	exit 1
+fi
+
+FNAME=shift
+PREFIX=`basename $FNAME | sed -e 's/\.tar.*$//'`
+
+OUT=""
+while true ; do
+	OUT="/tmp/files-`strings -7 /dev/urandom | head -1 | sed -e 's/[^[:alnum:]]//g'`"
+	if [ ! -f "$OUT" ] ; then break ; fi
+done
+
+git ls-files > $OUT
+SUBMODULES=`git submodule | cut -d ' ' -f 3`
+
+for sub in $SUBMODULES ; do
+	(cd $sub && git ls-files | sed -e "s|^|$sub/|" >> $OUT)
+done
+
+tar -c --no-recursion --transform "s|^|$PREFIX/|" -a -T $OUT -v -f $FNAME
+rm -f $OUT