Searched refs:gl11ExtFilename (Results 1 – 1 of 1) sorted by relevance
112 String gl11ExtFilename = in main() local126 new PrintStream(new FileOutputStream("out/" + gl11ExtFilename)); in main()147 gl11ExtStream.println("/* //device/java/android/" + gl11ExtFilename); in main()