Searched refs:dir2 (Results 1 – 1 of 1) sorted by relevance
169 dir2=`echo "$$dir0" | sed -e "$$sed_last"`/"$$dir2"; \172 first2=`echo "$$dir2" | sed -e "$$sed_first"`; \174 dir2=`echo "$$dir2" | sed -e "$$sed_rest"`; \176 dir2="../$$dir2"; \183 reldir="$$dir2"472 dir1=$$subdir; dir2="$(distdir)/$$subdir"; \475 dir1=$$subdir; dir2="$(top_distdir)"; \
