Lines Matching refs:OPTION_LAUNCH_LIST
101 OPTION_LAUNCH_LIST = None
139 global OPTION_START, OPTION_LAUNCH, OPTION_LAUNCH_LIST
277 OPTION_LAUNCH_LIST = args.launch_list
528 global OPTION_START, OPTION_LAUNCH, OPTION_LAUNCH_LIST
578 if OPTION_LAUNCH_LIST:
