X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcmdline.mli;h=50809939602d2ce2ea407ca523eb5b5629dcc193;hb=98b795ddf06271fa8018edcd0bd15960871828fd;hp=9bc8ff970378f7401d5e500b9978f64b0e319796;hpb=f490ee1e2c099eadd3da0876f66819192c19a3cd;p=goals.git

diff --git a/src/cmdline.mli b/src/cmdline.mli
index 9bc8ff9..5080993 100644
--- a/src/cmdline.mli
+++ b/src/cmdline.mli
@@ -51,6 +51,9 @@ 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). *)