customize, v2v: Remove existing file before copying.

The generator creates these files with 0444 mode, so they cannot be
overwritten by a simple ‘cp’ command.  We could use ‘cp -f’ or ‘rm -f’.

Fixes commit 15394cb4dd.
This commit is contained in:
Richard W.M. Jones
2019-10-15 12:55:08 +01:00
parent 8f3210c875
commit 435b70f564
2 changed files with 4 additions and 0 deletions

View File

@@ -67,8 +67,10 @@ BUILT_SOURCES = \
# These are created by the generator in common/mlcustomize and
# need to be copied here.
customize_cmdline.mli: $(top_srcdir)/common/mlcustomize/customize_cmdline.mli
rm -f $@
cp $< $@
customize_cmdline.ml: $(top_srcdir)/common/mlcustomize/customize_cmdline.ml
rm -f $@
cp $< $@
if HAVE_OCAML

View File

@@ -188,8 +188,10 @@ output_rhv_upload_vmcheck_source.ml: $(srcdir)/rhv-upload-vmcheck.py
# These are created by the generator in common/mlv2v and
# need to be copied here.
uefi.mli: $(top_srcdir)/common/mlv2v/uefi.mli
rm -f $@
cp $< $@
uefi.ml: $(top_srcdir)/common/mlv2v/uefi.ml
rm -f $@
cp $< $@
if HAVE_OCAML