stdlib/fedora: Use grep -F when matching %fedora-rebuild-name

[goals.git] / src / cmdline.mli

diff --git a/src/cmdline.mli b/src/cmdline.mli
index 9bc8ff9..5080993 100644 (file)
--- 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). *)