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

[goals.git] / src / run.ml

diff --git a/src/run.ml b/src/run.ml
index 9a15775..c3aa11e 100644 (file)
--- a/src/run.ml
+++ b/src/run.ml
@@ -36,6 +36,8 @@ module Jobs = Jobs.Make (
   end
 )
 
+let stop_all = Jobs.stop_all
+
 (* Starts the target expressions running and waits for them to complete. *)
 let rec run_targets_to_completion env exprs =
   let group = Jobs.new_group () in