X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=generator%2Fgenerator_main.ml;h=4ef9ba519c946d9b963b2ae84b8bdfe22b21341b;hb=9556903888eed268895a8454491d56302985f7e1;hp=bf1e8e0b70b4d116843ce0cf19d293f7d9c90bc0;hpb=6263da7474c6e7818b025979712c9c5d7108640d;p=libguestfs.git diff --git a/generator/generator_main.ml b/generator/generator_main.ml index bf1e8e0..4ef9ba5 100644 --- a/generator/generator_main.ml +++ b/generator/generator_main.ml @@ -132,11 +132,15 @@ Run it from the top source directory using the command output_to "php/extension/php_guestfs_php.h" generate_php_h; output_to "php/extension/guestfs_php.c" generate_php_c; + (* Generate the list of files generated -- last. *) + printf "generated %d lines of code\n" (get_lines_generated ()); + let files = List.sort compare (get_files_generated ()) in + output_to "generator/files-generated.txt" + (fun () -> List.iter (pr "%s\n") files); + (* Always generate this file last, and unconditionally. It's used * by the Makefile to know when we must re-run the generator. *) let chan = open_out "generator/stamp-generator" in fprintf chan "1\n"; - close_out chan; - - printf "generated %d lines of code\n" (get_lines_generated ()) + close_out chan