diff -r 8dbd9e0dc1d9 -r 933eee133cbf configure --- a/configure Wed Jun 17 12:32:01 2009 +0200 +++ b/configure Wed Jul 15 09:22:47 2009 +0200 @@ -373,7 +373,7 @@ "") VERSION="${VERSION}_unknown@$( date +%Y%m%d.%H%M%S )";; *) - VERSION="${VERSION}:$( hg id -b )@${REVISION%%+}:$( hg id -i )" + VERSION="${VERSION}_$( hg id -b )@${REVISION%%+}_$( hg id -i )" ;; esac # Arrange to have no / in the directory name, no need to create an