Searched refs:OPTION_LAUNCH_LIST (Results 1 – 1 of 1) sorted by relevance
92 OPTION_LAUNCH_LIST=no242 OPTION_LAUNCH_LIST="yes"469 if [ "$OPTION_LAUNCH_LIST" = "yes" ] ; then