Searched refs:re_direlt (Results 1 – 2 of 2) sorted by relevance
3678 re_direlt='/[^/][^/]*/\.\./'3681 while $ECHO "$ac_prog" | $GREP "$re_direlt" > /dev/null 2>&1; do3682 ac_prog=`$ECHO $ac_prog| $SED "s%$re_direlt%/%"`
2861 re_direlt='/[[^/]][[^/]]*/\.\./'2864 while $ECHO "$ac_prog" | $GREP "$re_direlt" > /dev/null 2>&1; do2865 ac_prog=`$ECHO $ac_prog| $SED "s%$re_direlt%/%"`