Lines Matching refs:options
78 (options, args) = parser.parse_args()
84 if not os.path.isdir(options.dest_dir):
85 print "Error: %s is not a directory." % options.dest_dir
88 if not os.path.isdir(options.gem5_dir):
89 print "Error: %s is not a directory." % options.gem5_dir
96 binaries_dir = options.dest_dir + "/binaries"
102 revisions_dir = options.dest_dir + "/revisions"
135 make_jobs_str = "-j" + str(options.make_jobs)
145 kernel_vexpress_gem5_dir = options.dest_dir + "/linux-kernel-vexpress_gem5"
147 options.dest_dir,
181 kernel_vexpress_emm64_dir = options.dest_dir + "/linux-kernel-vexpress_emm64"
183 options.dest_dir,
208 kernel_vexpress_emm_dir = options.dest_dir + "/linux-kernel-vexpress_emm"
210 options.dest_dir,