git.annexia.org
/
wrappi.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix connection close.
[wrappi.git]
/
generator
/
wrappi_boilerplate.ml
diff --git
a/generator/wrappi_boilerplate.ml
b/generator/wrappi_boilerplate.ml
index
5e39b31
..
1a6e18d
100644
(file)
--- a/
generator/wrappi_boilerplate.ml
+++ b/
generator/wrappi_boilerplate.ml
@@
-31,8
+31,7
@@
type comment_style =
| ErlangStyle
type license = GPLv2plus | LGPLv2plus
| ErlangStyle
type license = GPLv2plus | LGPLv2plus
-let generate_header comment license =
- let inputs = [ "generator/wrappi_*.ml" ] in
+let generate_header inputs comment license =
let c = match comment with
| CStyle -> pr "/* "; " *"
| CPlusPlusStyle -> pr "// "; "//"
let c = match comment with
| CStyle -> pr "/* "; " *"
| CPlusPlusStyle -> pr "// "; "//"