Searched refs:gl10ExtFilename (Results 1 – 1 of 1) sorted by relevance
109 String gl10ExtFilename = in main() local122 new PrintStream(new FileOutputStream("out/" + gl10ExtFilename)); in main()145 gl10ExtStream.println("/* //device/java/android/" + gl10ExtFilename); in main()