blob: d3838d601c14f7bf7ec570ee3e3c00ac6cef07f9 (
plain) (
blame)
1
2
3
4
5
6
7
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"
|