git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: defebbd) | patch
Implement keep-going (-k) option.
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 20 Jan 2020 14:12:22 +0000 (14:12 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 20 Jan 2020 14:41:08 +0000 (14:41 +0000)
commit8a0ede3292b4968b1e3261ad97b96d5ea0ad16fd
tree79ee846b9361f9775dbbf3b25d0d570732c9b187tree | snapshot
parentdefebbd4c75d43ad2d171cccbcc7ed737ff8a035commit | diff
Implement keep-going (-k) option.
docs/goals.pod diff | blob | history
src/cmdline.ml diff | blob | history
src/cmdline.mli diff | blob | history
src/deps.ml diff | blob | history
src/deps.mli diff | blob | history
src/jobs.ml diff | blob | history
src/jobs.mli diff | blob | history
src/main.ml diff | blob | history
tests/20-option-keep-going.gl [new file with mode: 0644] blob
tests/20-option-keep-going.sh [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.