X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=template.mli;fp=template.mli;h=3e3c2b0062980d1eed19c580e6c4405fc3a5d539;hb=837399023dce58f8fdd9a3c6c5e39af087bacceb;hp=2cec7b777cfb4da115df145f01fcb39443fc2a10;hpb=97b5c2a2402eef41726e54ed6797e8b7d3336058;p=mclu.git

diff --git a/template.mli b/template.mli
index 2cec7b7..3e3c2b0 100644
--- 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