mirror of
https://github.com/libguestfs/libguestfs.git
synced 2026-03-22 07:03:38 +00:00
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.
This commit is contained in:
@@ -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 "// "; "//"
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
# libguestfs generated file
|
||||
# WARNING: THIS FILE IS GENERATED FROM:
|
||||
# generator/generator_*.ml
|
||||
# generator/ *.ml
|
||||
# ANY CHANGES YOU MAKE TO THIS FILE WILL BE LOST.
|
||||
#
|
||||
# Copyright (C) 2009-2012 Red Hat Inc.
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
# libguestfs generated file
|
||||
# WARNING: THIS FILE IS GENERATED FROM:
|
||||
# generator/generator_*.ml
|
||||
# generator/ *.ml
|
||||
# ANY CHANGES YOU MAKE TO THIS FILE WILL BE LOST.
|
||||
#
|
||||
# Copyright (C) 2009-2012 Red Hat Inc.
|
||||
|
||||
Reference in New Issue
Block a user