www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs

commit 609f3f5f1005a418a1d161677d4d3dbe673451c2
parent 73ef7423da774d93d3fc3a9f356cb1c88b94b90f
Author: Matthew Flatt <mflatt@racket-lang.org>
Date:   Fri,  1 Jan 2016 14:39:27 -0700

avoid "." files when packing "racket/collects"

Diffstat:
Mdistro-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 @@ -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)))))