From 609f3f5f1005a418a1d161677d4d3dbe673451c2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 1 Jan 2016 14:39:27 -0700 Subject: [PATCH] avoid "." files when packing "racket/collects" --- distro-build-server/pack-collects.rkt | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/distro-build-server/pack-collects.rkt b/distro-build-server/pack-collects.rkt index a7f9ecb..37869f8 100644 --- a/distro-build-server/pack-collects.rkt +++ b/distro-build-server/pack-collects.rkt @@ -16,4 +16,8 @@ (delete-file tgz-file)) (parameterize ([current-directory (build-path "racket")]) - (tar-gzip tgz-file "collects")) + (tar-gzip tgz-file "collects" + ;; Skip "." files: + #:path-filter (lambda (p) + (define-values (base name dir?) (split-path p)) + (not (regexp-match? #rx"^[.]" name)))))