diff options
Diffstat (limited to 'scripts/make-dist.sh')
-rwxr-xr-x | scripts/make-dist.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/make-dist.sh b/scripts/make-dist.sh new file mode 100755 index 0000000..6e97915 --- /dev/null +++ b/scripts/make-dist.sh @@ -0,0 +1,16 @@ +#! /bin/sh +self=`basename "$0"` + +if [ -z "$1" ]; then + cat <<-EOF + USAGE + ${self} <version> + EOF + exit 1 +fi +version=$1 +base="conf-update-${version}" + +rm -vf "${base}".tar{,.gz} +git archive "--prefix=${base}/" --format=tar -v "--output=${base}.tar" HEAD +gzip -v9 "${base}.tar" |