keep ".LOCKpkgs.rktd" for source install
Closes PR 15062
This commit is contained in:
parent
c2cd44c928
commit
39fda5ec9e
|
@ -506,8 +506,9 @@
|
||||||
(delete-directory rktdir)))
|
(delete-directory rktdir)))
|
||||||
|
|
||||||
(define (skip-dot-files!)
|
(define (skip-dot-files!)
|
||||||
(current-skip-filter ; skip all dot-names
|
(current-skip-filter
|
||||||
(lambda (p) (regexp-match? #rx"^[.]" (basename p)))))
|
;; skip all dot-names, except ".LOCK..."
|
||||||
|
(lambda (p) (regexp-match? #rx"^[.](?!LOCK)" (basename p)))))
|
||||||
|
|
||||||
(define (make-install-copytree)
|
(define (make-install-copytree)
|
||||||
(define copytree (move/copy-tree #f))
|
(define copytree (move/copy-tree #f))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user