cs makefile: preserve permissions when embedding boot files

Closes #3192
2020-05-19 07:01:11 -06:00 · 2020-05-19 07:01:11 -06:00 · 6d06086dad
commit 6d06086dad
parent e8e3b61547
1 changed files with 2 additions and 0 deletions
--- a/racket/src/cs/c/embed-boot.rkt
+++ b/racket/src/cs/c/embed-boot.rkt
@ -134,4 +134,6 @@
 	  (copy-file (car alt) (cdr alt) #t)
 	  (write-offsets (cdr alt)))])

+   (file-or-directory-permissions dest-file (file-or-directory-permissions use-src-file 'bits))
+
   (clean-src)))