RFC: Change name of default HotSpot to 'default'

[Andrew John Hughes]

2009/2/12 Andrew John Hughes <gnu_andrew at member.fsf.org>:
> This patch renames the name of the default HotSpot patch
> set to be 'default' rather than the specific version.  We
> should of course document what that version is elsewhere.
> I propose it either tracks 7 or we at least update to the latest
> b14 release as there are some bug fixes (I'll do this in a
> subsequent patch).
>
> Ok to commit?
>

The motivation for this patch is that we otherwise have to do an
equivalent change every time we want to change the HotSpot revision.
It also makes it clearer which patches will be applied, should an
option not be passed to configure.
-- 
Andrew :-)

Free Java Software Engineer
Red Hat, Inc. (http://www.redhat.com)

Support Free Java!
Contribute to GNU Classpath and the OpenJDK
http://www.gnu.org/software/classpath
http://openjdk.java.net

PGP Key: 94EFD9D8 (http://subkeys.pgp.net)
Fingerprint: F8EF F1EA 401E 2E60 15FA  7927 142C 2591 94EF D9D8