[Bug libgcj/31728] New: --enable-java-maintainer-mode should pass JNI header options to classpath configure

[fitzsim at redhat dot com]

When --enable-java-maintainer-mode is specified, libgcj's configure should pass
--enable-regen-headers --with-javah=<maintainer gjavah>
--with-classpath=$srcdir/classpath/lib to classpath/configure, so that GNU
Classpath's JNI headers are rebuilt with the maintainer gjavah against the
bootstrap classes.


-- 
           Summary: --enable-java-maintainer-mode should pass JNI header
                    options to classpath configure
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libgcj
        AssignedTo: fitzsim at redhat dot com
        ReportedBy: fitzsim at redhat dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31728