diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-09-01 07:15:03 -0700 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-09-01 20:42:35 -0700 |
| commit | aaf9e5bb5ebb5baf5ac19f83e7ae6984ee21e8f5 (patch) | |
| tree | 534227735fc39c2b602900a420dd08cd206a9e98 /executor/executor_linux.h | |
| parent | 584f940bafc44c485df4bdddca341ab7893f48ef (diff) | |
pkg/build: factor out linux make execution
Remove duplication when calling linux make.
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions
