configure
changeset 441 f1326505e3e5
parent 411 e0816bfc311b
child 444 de5067d2fa4f
     1.1 --- a/configure	Wed Jan 16 21:41:53 2008 +0000
     1.2 +++ b/configure	Sun Apr 13 22:46:02 2008 +0000
     1.3 @@ -121,6 +121,21 @@
     1.4  #---------------------------------------------------------------------
     1.5  # Some sanity checks, now
     1.6  
     1.7 +# If this version is a svn snapshot, try to get the revision number
     1.8 +# If we can't get the revision number, use date
     1.9 +case "${VERSION}" in
    1.10 +  *+svn)
    1.11 +    REVISION=$(LANG=C svn info 2>/dev/null |egrep 'Revision: ' |cut -d ' ' -f 2-)
    1.12 +    if [ -n "${REVISION}" ]; then
    1.13 +      URL=$(LANG=C svn info 2>/dev/null |egrep 'URL: ' |cut -d ' ' -f 2-)
    1.14 +      ROOT=$(LANG=C svn info 2>/dev/null |egrep 'Repository Root: ' |cut -d ' ' -f 3-)
    1.15 +      VERSION="${VERSION}:${URL#${ROOT}}@${REVISION}"
    1.16 +    else
    1.17 +      VERSION="${VERSION}:unknown@$(date +%Y%m%d.%H%M%S)"
    1.18 +    fi
    1.19 +    ;;
    1.20 +esac
    1.21 +
    1.22  # Check bash is present, and at least version 3.0
    1.23  [ -x /bin/bash ] || do_error "bash 3.0 or above was not found in /bin/bash"
    1.24  bash_version=$(/bin/bash -c 'echo ${BASH_VERSION}')