diff options
Diffstat (limited to 'packaging/make-dist.sh')
| -rwxr-xr-x | packaging/make-dist.sh | 8 |
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" |