Searched refs:OPTION_LAUNCH_LIST (Results 1 – 2 of 2) sorted by relevance
74 OPTION_LAUNCH_LIST = None variable105 global OPTION_START, OPTION_LAUNCH, OPTION_LAUNCH_LIST220 OPTION_LAUNCH_LIST = args.launch_list438 global OPTION_START, OPTION_LAUNCH, OPTION_LAUNCH_LIST487 if OPTION_LAUNCH_LIST:
92 OPTION_LAUNCH_LIST=no242 OPTION_LAUNCH_LIST="yes"469 if [ "$OPTION_LAUNCH_LIST" = "yes" ] ; then