From 0ee40cbbf7df4c25a89920c4781c0bf23728c0cd Mon Sep 17 00:00:00 2001
From: Michael Soegtrop
Date: Sun, 25 Aug 2019 10:31:38 +0200
Subject: Changed chmod -w to chmod a-w to avoid error on cygwin

---
 Makefile.build | 2 +-
 Makefile.ide   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.build b/Makefile.build
index c4c65d31cf..610af5fe40 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -397,7 +397,7 @@ doc_gram_rsts: doc/tools/docgram/orderedGrammar
 # Specific rules for Uint63
 ###########################################################################
 kernel/uint63.ml: kernel/uint63_$(OCAML_INT_SIZE).ml
-	rm -f $@ && cp $< $@ && chmod -w $@
+	rm -f $@ && cp $< $@ && chmod a-w $@
 
 ###########################################################################
 # Main targets (coqtop.opt, coqtop.byte)
diff --git a/Makefile.ide b/Makefile.ide
index cb026cdf43..0a11f83a18 100644
--- a/Makefile.ide
+++ b/Makefile.ide
@@ -121,7 +121,7 @@ $(COQIDEBYTE): $(LINKIDE)
 ide/coqide_os_specific.ml: ide/coqide_$(IDEINT).ml.in config/Makefile
 	@rm -f $@
 	cp $< $@
-	@chmod -w $@
+	@chmod a-w $@
 
 ide/%.cmi: ide/%.mli
 	$(SHOW)'OCAMLC    $<'
-- 
cgit v1.2.3