configure
changeset 1430 933eee133cbf
parent 1411 8dbd9e0dc1d9
child 1431 28a90ba877ca
child 1477 232ba0dc96b1
     1.1 --- a/configure	Wed Jun 17 12:32:01 2009 +0200
     1.2 +++ b/configure	Wed Jul 15 09:22:47 2009 +0200
     1.3 @@ -373,7 +373,7 @@
     1.4              "")
     1.5                  VERSION="${VERSION}_unknown@$( date +%Y%m%d.%H%M%S )";;
     1.6              *)
     1.7 -                VERSION="${VERSION}:$( hg id -b )@${REVISION%%+}:$( hg id -i )"
     1.8 +                VERSION="${VERSION}_$( hg id -b )@${REVISION%%+}_$( hg id -i )"
     1.9                  ;;
    1.10          esac
    1.11          # Arrange to have no / in the directory name, no need to create an