build: Distribute src/.depend with tarball.
[goals.git] / src / jobs.ml
2020-01-10 Richard W.M. Jonesjobs: Wait for completion even in the error case.
2020-01-10 Richard W.M. JonesSplit implementation into dependency analysis and trave...
2020-01-09 Richard W.M. Jonesjobs: Don't let Failure exception escape from worker.
2020-01-09 Richard W.M. Jonescmdline: Make sure all errors go through main () function.
2020-01-09 Richard W.M. Jonesjobs: Introduce stop_all function to stop job submissio...
2020-01-08 Richard W.M. JonesImplement parallel jobs (-j option).