git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4e38a1) | patch
utils: Implement -j properly.
authorRichard W.M. Jones <rjones@redhat.com>
Sun, 12 Jan 2020 17:54:08 +0000 (17:54 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sun, 12 Jan 2020 18:29:04 +0000 (18:29 +0000)
commit349ba0ff3bded60e8035d5896a6d5f689a632ae7
treeca8f04521f722dd1ba1c331b1b26aea6519af9cctree | snapshot
parentd4e38a120ebe65ef688472506b0b5900f955ded1commit | diff
utils: Implement -j properly.

It now picks the default value from the number of cores.
Goalfile.in diff | blob | history
Makefile.in diff | blob | history
TODO diff | blob | history
configure.ac diff | blob | history
src/cmdline.ml diff | blob | history
src/utils-c.c [new file with mode: 0644] blob
src/utils.ml diff | blob | history
src/utils.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.