HomeSort by: relevance | last modified time | path
    Searched refs:options_re (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl3/gcc/dist/gcc/
genmultilib 477 options_re=
480 options_re="${options_re}${options_re:+|}${opt}"
483 options_re="^/((${options_re})/)*\$"
498 if echo "/${copts}/" | grep -E "${options_re}" > /dev/null; then
  /src/external/gpl3/gcc.old/dist/gcc/
genmultilib 469 options_re=
472 options_re="${options_re}${options_re:+|}${opt}"
475 options_re="^/((${options_re})/)*\$"
490 if echo "/${copts}/" | grep -E "${options_re}" > /dev/null; then

Completed in 15 milliseconds