Searched refs:dir1 (Results 1 – 1 of 1) sorted by relevance
165 while test -n "$$dir1"; do \166 first=`echo "$$dir1" | sed -e "$$sed_first"`; \181 dir1=`echo "$$dir1" | sed -e "$$sed_rest"`; \472 dir1=$$subdir; dir2="$(distdir)/$$subdir"; \475 dir1=$$subdir; dir2="$(top_distdir)"; \
