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.checker | |
| 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.checker')
| -rw-r--r-- | Makefile.checker | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.checker b/Makefile.checker index 5c55ccf489..90c73a496d 100644 --- a/Makefile.checker +++ b/Makefile.checker @@ -43,7 +43,7 @@ checker/check.cmxa $(LIBCOQRUN) checker/coqchk.mli checker/coqchk.ml $(CODESIGN_HIDE) $@ else $(CHICKEN): $(CHICKENBYTE) - cp $< $@ + rm -f $@ && cp $< $@ endif $(CHICKENBYTE): config/config.cma clib/clib.cma lib/lib.cma kernel/kernel.cma \ |