diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-01 12:44:15 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-01 13:31:17 +0200 |
| commit | 43dc635b4f46cdebced3702b6c5a4f935e8c3643 (patch) | |
| tree | 8498c404c4c942aada595119ef17eed4d8745bdf /sys/linux | |
| parent | e54e9781a4e043b3140b0c908ba4f4e469fd317e (diff) | |
Makefile: reduce presubmit size
Run fewer builds in presubmit. Also run them sequentially instead of parallel.
The current presubmit OOMs on CI every other time, this is not useful.
Update #1699
Diffstat (limited to 'sys/linux')
0 files changed, 0 insertions, 0 deletions