scripts/release
changeset 2241 37e0966e43b6
parent 2124 c3b9c574fa3e
child 2279 2c3fee01d3ed
     1.1 --- a/scripts/release	Thu Oct 12 11:54:30 2006 +0000
     1.2 +++ b/scripts/release	Fri Oct 13 15:10:50 2006 +0000
     1.3 @@ -2,6 +2,15 @@
     1.4  
     1.5  # THE FIRST PARAMETER IS THE VERSION STRING
     1.6  
     1.7 +if [ $# != 1 ]; then
     1.8 +    echo
     1.9 +    echo 'Usage: release version-string'
    1.10 +    echo 
    1.11 +    echo "WARNING: This script modifies the repository, so don't use it unless"
    1.12 +    echo '         you really want to make a release'
    1.13 +    exit 1
    1.14 +fi
    1.15 +
    1.16  set -e
    1.17  
    1.18  function make-dir () {
    1.19 @@ -12,7 +21,7 @@
    1.20  
    1.21  VERSION=$1
    1.22  PKGNAME='lemon'
    1.23 -VERSION_STRING='svn-head'
    1.24 +VERSION_STRING='svnhead'
    1.25  
    1.26  make-dir release-dir
    1.27  cd release-dir