Searched refs:batName (Results 1 – 1 of 1) sorted by relevance
52 String batName = targetFile + ".bat"; in generateBat() local59 File f = new File(batDir, batName); in generateBat()65 PrintWriter bat = FileUtilities.openUTF8Writer(batDir, batName); in generateBat()74 File f = new File(batDir, batName); in generateBat()