diff options
author | Manlio Perillo <manlio.perillo@gmail.com> | 2023-04-08 09:02:38 +0200 |
---|---|---|
committer | Manlio Perillo <manlio.perillo@gmail.com> | 2023-04-08 09:31:03 +0200 |
commit | 1cf910fb51259e786e8964072eb98a17353bc3c8 (patch) | |
tree | dcabc53e4e485e24cbf9de890ea14c5226bcb342 /exercises/009_if.zig | |
parent | b478c1bff44226b2b0c04f0aa832461f04d7f802 (diff) |
build: enable full parallelism when -Dhealed is set
The eowyn.sh script is used in a github workflow, but after
commit 0d56ba3 (build: restore the exercise chain), the github action
will take more time to complete.
Enable full build parallelism, when -Dhealed is true and -Dn is null.
Use the standard CompileStep and RunStep, instead of ZiglingStep.
On my PC, this change reduces the build time by about 30%.
Diffstat (limited to 'exercises/009_if.zig')
0 files changed, 0 insertions, 0 deletions