diff options
| author | Changming Liu <charley.ashbringer@gmail.com> | 2020-10-30 19:27:06 -0400 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-31 10:07:41 +0100 |
| commit | 7928dd20b88207a7365cc2807b12f4ec891cddfe (patch) | |
| tree | db45e029d89247b73042e244eeacd8bfd2d2f4ca /executor/executor.cc | |
| parent | a72ed5b74114ecd508d31548ced7b2f829eb55cc (diff) | |
tools/create-image.sh: use the basename instead of hard-coded linux to point to the $KERNEL src
current script hard-coded the basename for the path of kernel source
if the basename of the path for the kernel source code is not "linux",
this script will just abort.
Fix this by using the basename obtained by the basename utility.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions