git.annexia.org
/
goals.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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. *)
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]. *)