From 6d06086dade54c2f7dc69307066dcc8c9fc03e5f Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 19 May 2020 07:01:11 -0600
Subject: [PATCH] cs makefile: preserve permissions when embedding boot files

Closes #3192
---
 racket/src/cs/c/embed-boot.rkt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/racket/src/cs/c/embed-boot.rkt b/racket/src/cs/c/embed-boot.rkt
index 196fe0a102..08afc002e4 100644
--- 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)))