git.annexia.org
/
mclu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Add 'cmdline' template option.
[mclu.git]
/
template.mli
diff --git
a/template.mli
b/template.mli
index
2cec7b7
..
3e3c2b0
100644
(file)
--- a/
template.mli
+++ b/
template.mli
@@
-34,6
+34,7
@@
type template_info = {
network_model : string option;
has_xml_target : bool;
needs_external_kernel : bool;
+ cmdline : string option;
}
val probe : ?verbose:bool -> string -> template_info