Richard Kenner writes: > > Can somebody explain what INLINER_FOR_JAVA is for? > > It's the inliner for Java. > > But who sets it? The makefile for Java. > Are there two .o files corresponding to that file? Yes. Andrew.