jobs: Introduce stop_all function to stop job submission on error.

[goals.git] / src / run.mli

diff --git a/src/run.mli b/src/run.mli
index 6281242..4251235 100644 (file)
--- a/src/run.mli
+++ b/src/run.mli
@@ -22,3 +22,7 @@ val run_targets_to_completion : Ast.env -> Ast.expr list -> unit
     parallel) until they are complete or we reach an error.  The
     expressions are either a list of dependencies and/or a list of
     initial targets. *)
+
+val stop_all : unit -> unit
+(** Wait until all running jobs finish, and don't start any new ones.
+    See [Jobs.stop_all]. *)