summaryrefslogtreecommitdiff
path: root/packaging
diff options
context:
space:
mode:
Diffstat (limited to 'packaging')
-rwxr-xr-xpackaging/make-dist.sh8
1 files changed, 8 insertions, 0 deletions
diff --git a/packaging/make-dist.sh b/packaging/make-dist.sh
new file mode 100755
index 00000000..d3838d60
--- /dev/null
+++ b/packaging/make-dist.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+if [ "$#" -eq "0" ]; then
+ echo "Usage: make-dist.sh <version>"
+ exit 1
+fi
+name="mana-$1"
+git archive -v --prefix="$name/" HEAD | gzip > "$name.tar.gz"
+echo "Release ready as $name.tar.gz"