configure
changeset 444 de5067d2fa4f
parent 435 ff598e5b4bb5
child 542 4cdd0e37b577
     1.1 --- a/configure	Sun Feb 17 22:58:57 2008 +0000
     1.2 +++ b/configure	Thu Apr 17 19:21:32 2008 +0000
     1.3 @@ -125,14 +125,16 @@
     1.4  # If we can't get the revision number, use date
     1.5  case "${VERSION}" in
     1.6    *+svn)
     1.7 -    REVISION=$(LANG=C svn info 2>/dev/null |egrep 'Revision: ' |cut -d ' ' -f 2-)
     1.8 -    if [ -n "${REVISION}" ]; then
     1.9 -      URL=$(LANG=C svn info 2>/dev/null |egrep 'URL: ' |cut -d ' ' -f 2-)
    1.10 -      ROOT=$(LANG=C svn info 2>/dev/null |egrep 'Repository Root: ' |cut -d ' ' -f 3-)
    1.11 -      VERSION="${VERSION}:${URL#${ROOT}}@${REVISION}"
    1.12 -    else
    1.13 -      VERSION="${VERSION}:unknown@$(date +%Y%m%d.%H%M%S)"
    1.14 -    fi
    1.15 +    REVISION=$(svnversion)
    1.16 +    case "${REVISION}" in
    1.17 +      exported)
    1.18 +        VERSION="${VERSION}:unknown@$(date +%Y%m%d.%H%M%S)";;
    1.19 +      *)
    1.20 +        URL=$(LANG=C svn info 2>/dev/null |egrep 'URL: ' |cut -d ' ' -f 2-)
    1.21 +        ROOT=$(LANG=C svn info 2>/dev/null |egrep 'Repository Root: ' |cut -d ' ' -f 3-)
    1.22 +        VERSION="${VERSION}:${URL#${ROOT}}@${REVISION}"
    1.23 +        ;;
    1.24 +    esac
    1.25      ;;
    1.26  esac
    1.27