Searched refs:OPTION_LAUNCH_LIST (Results 1 – 2 of 2) sorted by relevance
95 OPTION_LAUNCH_LIST=no246 OPTION_LAUNCH_LIST="yes"491 if [ "$OPTION_LAUNCH_LIST" = "yes" ] ; then
77 OPTION_LAUNCH_LIST = None variable115 global OPTION_START, OPTION_LAUNCH, OPTION_LAUNCH_LIST250 OPTION_LAUNCH_LIST = args.launch_list501 global OPTION_START, OPTION_LAUNCH, OPTION_LAUNCH_LIST551 if OPTION_LAUNCH_LIST: