diff options
| author | Pierre-Marie Pédrot | 2019-10-31 16:41:24 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-10-31 16:41:24 +0100 |
| commit | a6dbda0d1b265abee0620a748976385cadbbb880 (patch) | |
| tree | 46a8898884925714d3cd6e2e32d3f69856e99d15 /Makefile.ide | |
| parent | 73817b93eb604c680e661c0064af2e916c6ffe69 (diff) | |
| parent | fe61f673dfdba1598842b9d56a761c5229aaf4e9 (diff) | |
Merge PR #11000: make: guard cp calls with rm -f on executables
Reviewed-by: gares
Diffstat (limited to 'Makefile.ide')
| -rw-r--r-- | Makefile.ide | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/Makefile.ide b/Makefile.ide index 39c6c8ad1e..bd72494289 100644 --- a/Makefile.ide +++ b/Makefile.ide @@ -110,7 +110,7 @@ $(COQIDE): $(LINKIDEOPT) $(STRIP_HIDE) $@ else $(COQIDE): $(COQIDEBYTE) - cp $< $@ + rm -f $@ && cp $< $@ endif $(COQIDEBYTE): $(LINKIDE) @@ -119,9 +119,7 @@ $(COQIDEBYTE): $(LINKIDE) -linkpkg -package str,unix,dynlink,threads,lablgtk3-sourceview3 $(IDEFLAGS) $(IDECDEPSFLAGS) $^ ide/coqide_os_specific.ml: ide/coqide_$(IDEINT).ml.in config/Makefile - @rm -f $@ - cp $< $@ - @chmod a-w $@ + rm -f $@ && cp $< $@ && chmod a-w $@ ide/%.cmi: ide/%.mli $(SHOW)'OCAMLC $<' @@ -150,7 +148,7 @@ IDETOPCMX:=$(IDETOPCMA:.cma=.cmxa) # Special rule for coqidetop $(IDETOPEXE): $(IDETOP:.opt=.$(BEST)) - cp $< $@ + rm -f $@ && cp $< $@ $(IDETOP): ide/idetop.ml $(LINKCMX) $(LIBCOQRUN) $(IDETOPCMX) $(SHOW)'COQMKTOP -o $@' |