diff options
| author | David Drysdale <drysdale@google.com> | 2016-03-10 14:24:26 +0000 |
|---|---|---|
| committer | David Drysdale <drysdale@google.com> | 2016-03-10 14:33:32 +0000 |
| commit | 064e1a65a5ce848434e9ceef500d03f7bde65249 (patch) | |
| tree | 3a9b9a5400d1ff123d84a23a3391c667c38d6de8 /executor | |
| parent | 98cd0cc66d1cf22e99e096d51da39969a5bfc6d5 (diff) | |
sysgen: Cope with non-inline kernel build
When regenerating system call tables, cope with a local kernel tree where
the kernel has been built into a separate directory (with `make O=...`) rather
than inline.
So:
- LINUX makefile var / -linux command line option give location of source tree
- LINUXBLD makefile var / -linuxbld command line option gives location of
built kernel
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions