diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/create-distribution | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tools/create-distribution b/tools/create-distribution new file mode 100755 index 0000000..6a6e062 --- /dev/null +++ b/tools/create-distribution @@ -0,0 +1,18 @@ +#!/bin/sh + +set -e + +find -name .cvsignore -print0 | xargs -0 rm +pod2man pingd > pingd.1 +version=`grep 'VERSION =' pingd | sed -e "s/.* '//" -e "s/'.*//"` +dirname=`basename \`pwd\`` + +if [ "$dirname" != "echolot-$version" ] ; then + echo "WARN: Version $version might be wrong" + echo "Enter to continue" + read +fi + +cd .. +tar czf $dirname.tar.gz $dirname +gpg --detach-sign $dirname.tar.gz |