diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-25 08:36:42 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-25 08:36:42 +0200 |
| commit | da1670a69dbf57da6f6578ae001df1fad1d947ef (patch) | |
| tree | 509f16be741a0405bf9ca58e2eb5c2c6b3cbc137 /executor | |
| parent | 9182049979da592daf772dcb788ee607d5b0ceb7 (diff) | |
Makefile: install /bin/sh
Installs /bin/sh required for pkg/csource/gen.sh
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions