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