git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b88599e) | patch
Implement parallel jobs (-j option).
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 8 Jan 2020 11:43:26 +0000 (11:43 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 8 Jan 2020 18:21:29 +0000 (18:21 +0000)
commit2a9d33a300ac414c21679c520bc6434d48f499a9
tree270967efb82617593200bee8e74b152f3c1c3c4dtree | snapshot
parentb88599eb9c51240065878c8556976dc1cd805137commit | diff
Implement parallel jobs (-j option).
Goalfile.in diff | blob | history
configure.ac diff | blob | history
docs/goals.pod diff | blob | history
src/cmdline.ml diff | blob | history
src/cmdline.mli diff | blob | history
src/jobs.ml [new file with mode: 0644] blob
src/jobs.mli [new file with mode: 0644] blob
src/main.ml diff | blob | history
src/run.ml diff | blob | history
src/run.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.