mirrors/libguestfs
1
0
Fork 0
mirror of https://github.com/libguestfs/libguestfs.git synced 2026-03-22 07:03:38 +00:00
Code Issues Packages Projects Releases Wiki Activity

generator: Do not build mlcustomize if directory does not exist.

Browse Source 
When shipping the libguestfs tarball we do not necessarily have
common/mlcustomize.  If we run the generator in this situation then
don't try to generate files in the non-existent directory.

See-also: commit 7ced2b9354
This commit is contained in:
Richard W.M. Jones
2021-03-22 16:36:49 +00:00
parent b0b2979dce
commit 008cda2bd2
1 changed files with 11 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
generator/main.ml
View File

@@ -355,14 +355,17 @@ Run it from the top source directory using the command
UEFI.generate_uefi_mli;
);
output_to "common/mlcustomize/customize_cmdline.mli"
Customize.generate_customize_cmdline_mli;
output_to "common/mlcustomize/customize_cmdline.ml"
Customize.generate_customize_cmdline_ml;
output_to "common/mlcustomize/customize-synopsis.pod"
Customize.generate_customize_synopsis_pod;
output_to "common/mlcustomize/customize-options.pod"
Customize.generate_customize_options_pod;
(* mlcustomize may not be shipped in this source. *)
if is_regular_file "common/mlcustomize/Makefile.am" then (
output_to "common/mlcustomize/customize_cmdline.mli"
Customize.generate_customize_cmdline_mli;
output_to "common/mlcustomize/customize_cmdline.ml"
Customize.generate_customize_cmdline_ml;
output_to "common/mlcustomize/customize-synopsis.pod"
Customize.generate_customize_synopsis_pod;
output_to "common/mlcustomize/customize-options.pod"
Customize.generate_customize_options_pod
);
output_to "rust/src/guestfs.rs"
Rust.generate_rust;