diff options
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 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) |