From dd2780fc2be088d6b7ac4a84852d3f7a9b671bee Mon Sep 17 00:00:00 2001
From: Alex Dehnert <adehnert@mit.edu>
Date: Sun, 18 Nov 2012 18:37:28 -0500
Subject: [PATCH] Install scripts read-only

Switch from using cp to using install to install scripts, and install them 555
to reduce the risk of accidentally changing the installed scripts and not this
repo.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 159ff72..fbe3e67 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@ arches=\
 all : install
 
 $(common)/% : %
-	cp $< $@
+	install -c -m 555 $< $@
 
 $(foreach script,$(scripts),$(foreach arch,$(arches),$(archdir)/$(arch)/bin/$(script))) : 
 #$(archdir)/*/bin/* :
-- 
2.34.1