X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=generator%2Fwrappi_boilerplate.ml;h=1a6e18df7c2e771be07d1aa0013f8227a5d07ea7;hb=6d0ffdb7821c34fb807ddd277c216a050a479284;hp=5e39b31fafef052967d6fe1a2e822da02c90da10;hpb=ff4a39eec0c3d92b7fda62341e0734e07d5d2987;p=wrappi.git diff --git a/generator/wrappi_boilerplate.ml b/generator/wrappi_boilerplate.ml index 5e39b31..1a6e18d 100644 --- a/generator/wrappi_boilerplate.ml +++ b/generator/wrappi_boilerplate.ml @@ -31,8 +31,7 @@ type comment_style = | 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 "// "; "//"