diff options
author | Richard W.M. Jones <rjones@redhat.com> | 2012-09-24 09:26:45 +0100 |
---|---|---|
committer | Richard W.M. Jones <rjones@redhat.com> | 2012-09-24 09:34:33 +0100 |
commit | a3d7f5bc17aa3935a427812a49de60ecc0a345ca (patch) | |
tree | 875356253735ff8f15bc8dd41cb0602aeb7b8b7c /generator/docstrings.ml | |
parent | 1949016e899b2737525fdc9b6dda451ad9ecbd66 (diff) | |
download | libguestfs-a3d7f5bc17aa3935a427812a49de60ecc0a345ca.tar.gz libguestfs-a3d7f5bc17aa3935a427812a49de60ecc0a345ca.tar.xz libguestfs-a3d7f5bc17aa3935a427812a49de60ecc0a345ca.zip |
generator: The default input files are 'generator/ *.ml' [sic].
Since generator source files were renamed, the comment at the
top of each generated file was wrong.
Unfortunately we cannot allow /* to appear within a comment,
so the space is necessary.
Diffstat (limited to 'generator/docstrings.ml')
-rw-r--r-- | generator/docstrings.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generator/docstrings.ml b/generator/docstrings.ml index 3faaa57c..7a32cb9c 100644 --- a/generator/docstrings.ml +++ b/generator/docstrings.ml @@ -62,7 +62,7 @@ type comment_style = type license = GPLv2plus | LGPLv2plus let generate_header ?(extra_inputs = []) comment license = - let inputs = "generator/generator_*.ml" :: extra_inputs in + let inputs = "generator/ *.ml" :: extra_inputs in let c = match comment with | CStyle -> pr "/* "; " *" | CPlusPlusStyle -> pr "// "; "//" |