From fcfe988631a05b647c7278aa366bafed01789de6 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 14 May 2015 07:02:42 -0600 Subject: [PATCH] keep ".LOCKpkgs.rktd" for source install Closes PR 15062 (cherry picked from commit 39fda5ec9eac8bd17d276cc35e28c55ed66e9e64) --- racket/collects/setup/unixstyle-install.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/racket/collects/setup/unixstyle-install.rkt b/racket/collects/setup/unixstyle-install.rkt index 980ee6af66..bcc6e3ff56 100644 --- a/racket/collects/setup/unixstyle-install.rkt +++ b/racket/collects/setup/unixstyle-install.rkt @@ -506,8 +506,9 @@ (delete-directory rktdir))) (define (skip-dot-files!) - (current-skip-filter ; skip all dot-names - (lambda (p) (regexp-match? #rx"^[.]" (basename p))))) + (current-skip-filter + ;; skip all dot-names, except ".LOCK..." + (lambda (p) (regexp-match? #rx"^[.](?!LOCK)" (basename p))))) (define (make-install-copytree) (define copytree (move/copy-tree #f))