X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fcmdline.mli;h=50809939602d2ce2ea407ca523eb5b5629dcc193;hb=8b25817b1f12fd63f890555c6de6e941ef42dec6;hp=337268452c09aa48d73429ab41e8e891219e5a9e;hpb=ec7d2c76a7ae7447866522103b18107f154083cb;p=goals.git

diff --git a/src/cmdline.mli b/src/cmdline.mli
index 3372684..5080993 100644
--- a/src/cmdline.mli
+++ b/src/cmdline.mli
@@ -51,5 +51,11 @@ val includes : unit -> string list
 val nr_jobs : unit -> int
 (** Number of jobs (-j option). *)
 
+val keep_going : unit -> bool
+(** Keep-going mode (-k option). *)
+
+val silent : unit -> bool
+(** Silent operation (-s option). *)
+
 val use_prelude : unit -> bool
 (** True if we should load the prelude, or false if --no-prelude. *)