Searched refs:re_direlt (Results 1 – 2 of 2) sorted by relevance
4376 re_direlt='/[^/][^/]*/\.\./'4379 while $ECHO "$ac_prog" | $GREP "$re_direlt" > /dev/null 2>&1; do4380 ac_prog=`$ECHO $ac_prog| $SED "s%$re_direlt%/%"`
3072 re_direlt='/[[^/]][[^/]]*/\.\./'3075 while $ECHO "$ac_prog" | $GREP "$re_direlt" > /dev/null 2>&1; do3076 ac_prog=`$ECHO $ac_prog| $SED "s%$re_direlt%/%"`