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))