suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cs makefile: preserve permissions when embedding boot files

Browse Source 
Closes #3192
This commit is contained in:
Matthew Flatt 2020-05-19 07:01:11 -06:00
parent e8e3b61547
commit 6d06086dad
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
racket/src/cs/c/embed-boot.rkt
View File

@ -134,4 +134,6 @@
(copy-file (car alt) (cdr alt) #t) (copy-file (car alt) (cdr alt) #t)
(write-offsets (cdr alt)))]) (write-offsets (cdr alt)))])
(file-or-directory-permissions dest-file (file-or-directory-permissions use-src-file 'bits))
(clean-src))) (clean-src)))