Patch: change decl of _Jv_Compiler_Properties

[Tom Tromey]

I'm committing the appended patch.
It changes how jvgenmain declares _Jv_Compiler_Properties in the code
it generates.  This matches a corresponding change to libgcj.

1999-10-21  Tom Tromey  <tromey@cygnus.com>

	* jvgenmain.c (main): _Jv_Compiler_Properties now an extern; set
	in generated `main'.

Tom

Index: jvgenmain.c
===================================================================
RCS file: /cvs/gcc/egcs/gcc/java/jvgenmain.c,v
retrieving revision 1.12
diff -u -r1.12 jvgenmain.c
--- jvgenmain.c	1999/10/15 16:45:31	1.12
+++ jvgenmain.c	1999/10/22 19:23:00
@@ -134,7 +134,8 @@
 
   /* At this point every element of ARGV from 1 to LAST_ARG is a `-D'
      option.  Process them appropriately.  */
-  fprintf (stream, "const char *_Jv_Compiler_Properties[] =\n{\n");
+  fprintf (stream, "extern const char **_Jv_Compiler_Properties;\n");
+  fprintf (stream, "static const char *props[] =\n{\n");
   for (i = 1; i < last_arg; ++i)
     {
       const char *p;
@@ -156,6 +157,7 @@
 	   class_mangling_prefix, mangled_classname);
   fprintf (stream, "int main (int argc, const char **argv)\n");
   fprintf (stream, "{\n");
+  fprintf (stream, "   _Jv_Compiler_Properties = props;\n");
   fprintf (stream, "   JvRunMain (&%s%s, argc, argv);\n",
 	   class_mangling_prefix, mangled_classname);
   fprintf (stream, "}\n");