diff options
author | Werner Koch <wk@gnupg.org> | 1999-07-24 11:59:06 +0200 |
---|---|---|
committer | Werner Koch <wk@gnupg.org> | 1999-07-24 11:59:06 +0200 |
commit | a06bc6ffd84926e01b11544d0f890e5dd61856b4 (patch) | |
tree | fda540b880275bbc3b16d8159c27f8afdd21bdb4 /scripts | |
parent | See ChangeLog: Fri Jul 23 13:53:03 CEST 1999 Werner Koch (diff) | |
download | gnupg2-a06bc6ffd84926e01b11544d0f890e5dd61856b4.tar.xz gnupg2-a06bc6ffd84926e01b11544d0f890e5dd61856b4.zip |
.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/mksnapshot | 18 | ||||
-rwxr-xr-x | scripts/mkwebpage | 4 |
2 files changed, 21 insertions, 1 deletions
diff --git a/scripts/mksnapshot b/scripts/mksnapshot index 0d7a94d32..c766501c9 100755 --- a/scripts/mksnapshot +++ b/scripts/mksnapshot @@ -4,8 +4,10 @@ set -e -cd $HOME/pub +ftp_dir=$1 +cd $HOME/pub +PATH="$HOME/bin:$PATH" fix_version () { version=$(cat $1/VERSION) @@ -25,6 +27,14 @@ Thanks, EOF } +build_dist () { + set +e + nice scripts/autogen.sh && nice ./configure && nice make dist + rm $ftp_dir/gnupg-*snap*-*-*.tar.gz + mv gnupg-*.tar.gz $ftp_dir/ + set -e +} + do_export () { pgm=$1 @@ -34,6 +44,12 @@ do_export () { rm -rf $pgm.old || true cvs -Q export -r HEAD -d $pgm.new $mod fix_version $pgm.new + if [ -n "$ftp_dir" ]; then + here=$(pwd) + cd $pgm.new + build_dist + cd $here + fi [ -d $pgm ] && mv $pgm $pgm.old if ! mv $pgm.new $pgm ; then echo "rename failed - restoring" >&2 diff --git a/scripts/mkwebpage b/scripts/mkwebpage index 1e626dbcc..6ab4771e9 100755 --- a/scripts/mkwebpage +++ b/scripts/mkwebpage @@ -44,6 +44,10 @@ Updated: $updated \\ r $src/BUGS d } + /@HOSTEDBY@/ { + r $src/hostedby.html.inc + d + } " $sf > $df ;; *.html.inc | *~ | *.tmp | */BUGS ) |