chiark / gitweb /
remove buildship
[userv.git] / buildship
diff --git a/buildship b/buildship
deleted file mode 100755 (executable)
index e10562b..0000000
--- a/buildship
+++ /dev/null
@@ -1,43 +0,0 @@
-#!/bin/sh
-# to release, check out a fresh copy and then run this
-
-set -e
-version="`sed -n '/^userv (.*)/!d; s/^userv (//; s/).*//; p; q' Changelog`"
-targz=userv-$version.tar.gz
-tag=`echo release-$version | sed -e 's/\./-/g'`
-
-echo >&2 "*** Tagging (version $version, tag $tag) ..."
-cvs tag -F -c $tag
-
-echo >&2 '*** Generating pre-built files ...'
-autoconf
-autoheader
-./configure
-make ship VERSION=$version
-
-cd shipcheck
-
-echo >&2 '*** Checking whether identical to repository version ...'
-tar zxf $targz
-cvs co -r $tag userv
-cd userv-$version
-cp -r . ../userv/.
-cd ../userv
-if test "x`cvs -n update`" != x
-then
-       echo >&2 mismatch:
-       cvs -n update
-       exit 1
-fi
-cd ..
-rm -rf userv
-
-echo >&2 '*** Doing test build ...'
-cd userv-$version
-./configure
-make
-
-cd ../..
-
-echo >&2 "*** OK.  Distribution file is ../$targz."
-mv -f shipcheck/$targz ..