Searched refs:batDir (Results 1 – 1 of 1) sorted by relevance
54 String batDir = targetDir + "diff" + File.separator; 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()