keep ".LOCKpkgs.rktd" for source install

Closes PR 15062

(cherry picked from commit 39fda5ec9e)
This commit is contained in:
Matthew Flatt 2015-05-14 07:02:42 -06:00 committed by Ryan Culpepper
parent 1b890c39ee
commit fcfe988631

View File

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