diff options
author | Tom Tromey <tromey@redhat.com> | 2003-01-03 17:33:20 +0000 |
---|---|---|
committer | Tom Tromey <tromey@gcc.gnu.org> | 2003-01-03 17:33:20 +0000 |
commit | 60db58b266b5820fda5902f375cafde8c8168143 (patch) | |
tree | 78df508859d4f2956b8f9df9329a9137d74c9783 /gcc | |
parent | 317583376de42bba078031951e29d5d285b6f27f (diff) | |
download | gcc-60db58b266b5820fda5902f375cafde8c8168143.zip gcc-60db58b266b5820fda5902f375cafde8c8168143.tar.gz gcc-60db58b266b5820fda5902f375cafde8c8168143.tar.bz2 |
* gcj.texi (GNU Classpath Properties): Document new properties.
From-SVN: r60840
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/java/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/java/gcj.texi | 9 |
2 files changed, 13 insertions, 0 deletions
diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog index b514b08..aa858e8 100644 --- a/gcc/java/ChangeLog +++ b/gcc/java/ChangeLog @@ -1,3 +1,7 @@ +2003-01-03 Tom Tromey <tromey@redhat.com> + + * gcj.texi (GNU Classpath Properties): Document new properties. + 2003-01-02 Steven Bosscher <s.bosscher@student.tudelft.nl> * java/jcf-reader.c, java/jvgenmain.c, java/keyword.gperf, diff --git a/gcc/java/gcj.texi b/gcc/java/gcj.texi index 5c352d5..cb7ee69 100644 --- a/gcc/java/gcj.texi +++ b/gcc/java/gcj.texi @@ -2168,6 +2168,15 @@ Enables printing serialization debugging by the @code{java.io.ObjectInput} and @code{java.io.ObjectOutput} classes when set to something else then the empty string. Only used when running a debug build of the library. +@item gnu.classpath.vm.shortname +This is a succint name of the virtual machine. For @code{libgcj}, +this will always be @samp{libgcj}. + +@item gnu.classpath.home.url +A base URL used for finding system property files (e.g., +@file{classpath.security}). By default this is a @samp{file:} URL +pointing to the @file{lib} directory under @samp{java.home}. + @end table @node libgcj Runtime Properties |