X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Frun.mli;h=4251235247f41a9400e2a9dba9bfc2330467a948;hb=60c2061059e1d1c246df02733ab570a1af662f5f;hp=628124227dbb31a4706157d034fc82faa4e662c8;hpb=81394242a7d6a47fad6d84ce33d488d38de2647a;p=goals.git

diff --git a/src/run.mli b/src/run.mli
index 6281242..4251235 100644
--- 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]. *)