Searched refs:sed_rest (Results 1 – 1 of 1) sorted by relevance
162 sed_rest='s,^[^/]*/*,,'; \174 dir2=`echo "$$dir2" | sed -e "$$sed_rest"`; \181 dir1=`echo "$$dir1" | sed -e "$$sed_rest"`; \