소스 검색

exclude irrelevant files

Alexander Shiryaev 1 년 전
부모
커밋
6dbdbb2388
1개의 변경된 파일1개의 추가작업 그리고 0개의 파일을 삭제
  1. 1 0
      export-linux

+ 1 - 0
export-linux

@@ -6,6 +6,7 @@ if [ $# -eq 1 ]; then
 		mkdir "${outDir}"
 		pax -r -w -L \
 			-s ',.*/Xtras.*,,' \
+			-s ',.*__.bsd.*,,' -s ',.*__Win.*,,' \
 			Comm Cons Dev Docu Form Fig Obx Lin Sql Std System Text Xhtml blackbox blackboxInterp run-BlackBox run-BlackBoxInterp LICENSE.txt \
 			"${outDir}"
 	else