Searched refs:batName (Results 1 – 1 of 1) sorted by relevance
55 String batName = targetFile + ".bat"; in generateBat() local62 File f = new File(batDir, batName); in generateBat()68 PrintWriter bat = FileUtilities.openUTF8Writer(batDir, batName); in generateBat()76 File f = new File(batDir, batName); in generateBat()