Searched refs:options_repeat (Results 1 – 1 of 1) sorted by relevance
45 options_repeat=""60 if [ -n "$options_repeat" ]; then61 echo $options_repeat | grep $opt >/dev/null