X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Frun.ml;h=c3aa11e410d77d02f1dbe8241046438f99629af3;hb=60c2061059e1d1c246df02733ab570a1af662f5f;hp=9a157751485ea41436b3259ea69755cfcccc436f;hpb=2a9d33a300ac414c21679c520bc6434d48f499a9;p=goals.git

diff --git a/src/run.ml b/src/run.ml
index 9a15775..c3aa11e 100644
--- 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