diff options
| author | Michael Soegtrop | 2019-08-25 10:31:38 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2019-08-25 14:07:22 +0200 |
| commit | 0ee40cbbf7df4c25a89920c4781c0bf23728c0cd (patch) | |
| tree | 0f10fffba5e4c5615cd45ac2ee3a16e5b34ecfb4 | |
| parent | ce235f3d84faef3f4cc5d00373a50e03031541e5 (diff) | |
Changed chmod -w to chmod a-w to avoid error on cygwin
| -rw-r--r-- | Makefile.build | 2 | ||||
| -rw-r--r-- | 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 $<' |