diff options
| author | ruro <ruro.ruro@ya.ru> | 2021-08-18 01:46:59 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-18 08:46:59 +1000 |
| commit | 3b28178deb7a42a2df8c19b9bf190bb5da732b33 (patch) | |
| tree | bbffcc4752948a0f5a52c31930f3ada863e67f44 /keyboards/ocean/gin_v2/keymaps | |
| parent | 999391f3ae6bab3fe1784d0f53bffd0320a9e076 (diff) | |
`--parallel` improvements (#13800)
* improve make parallel jobs support
* document the --parallel option
* disable the output-sync for interactive targets
Diffstat (limited to 'keyboards/ocean/gin_v2/keymaps')
0 files changed, 0 insertions, 0 deletions