Searched refs:makefileName (Results 1 – 1 of 1) sorted by relevance
354 private void generateMakefile(Mapper mapper, String makefileName) { in generateMakefile() argument358 writeMakefile(makefile, destinationDir, makefileName); in generateMakefile()366 writeMakefile(makefile, outputDir.getAbsolutePath(), makefileName); in generateMakefile()404 private void writeMakefile(Makefile makefile, String outputDir, String makefileName) { in writeMakefile() argument406 new File(outputDir + File.separator + makefileName).createNewFile(); in writeMakefile()407 makefile.print(outputDir, makefileName); in writeMakefile()409 … System.err.println("Error while writing makefile for " + outputDir + "/" + makefileName); in writeMakefile()