Searched refs:dist_files (Results 1 – 5 of 5) sorted by relevance
709 case $$dist_files in \710 */*) $(MKDIR_P) `echo "$$dist_files" | \714 for file in $$dist_files; do \
786 dist_files=`for file in $$list; do echo $$file; done | \789 case $$dist_files in \790 */*) $(MKDIR_P) `echo "$$dist_files" | \794 for file in $$dist_files; do \
823 dist_files=`for file in $$list; do echo $$file; done | \826 case $$dist_files in \827 */*) $(MKDIR_P) `echo "$$dist_files" | \831 for file in $$dist_files; do \
907 dist_files=`for file in $$list; do echo $$file; done | \910 case $$dist_files in \911 */*) $(MKDIR_P) `echo "$$dist_files" | \915 for file in $$dist_files; do \
987 dist_files=`for file in $$list; do echo $$file; done | \990 case $$dist_files in \991 */*) $(MKDIR_P) `echo "$$dist_files" | \995 for file in $$dist_files; do \