Searched refs:output_makefile (Results 1 – 1 of 1) sorted by relevance
275 output_makefile = cmdlineargs.output_makefile variable1147 if output_makefile:1148 output_makefile_dir = os.path.dirname(output_makefile)1151 makefile = open(output_makefile, "w")
Completed in 6 milliseconds