Searched refs:dir0 (Results 1 – 1 of 1) sorted by relevance
160 dir0=`pwd`; \169 dir2=`echo "$$dir0" | sed -e "$$sed_last"`/"$$dir2"; \170 dir0=`echo "$$dir0" | sed -e "$$sed_butlast"`; \178 dir0="$$dir0"/"$$first"; \
