diff options
| author | Wolfgang Müller | 2022-04-26 18:30:05 +0200 |
|---|---|---|
| committer | Wolfgang Müller | 2022-04-26 18:30:05 +0200 |
| commit | c51013909b5eb64671902e02b9a19d0fd11fbd46 (patch) | |
| tree | 1544a3decae734f6b7823e2702ed13bb3c352aed /Makefile | |
| parent | c2d7609c36af239aa5146b8efa213fee9f446058 (diff) | |
| download | kern-c51013909b5eb64671902e02b9a19d0fd11fbd46.tar.gz | |
Check for kernel source directory
Some commands need to be launched inside the kernel source directory.
Even though the manual points this out, users may not know or forget.
Make sure to refuse working on a non-kernel directory: this will point
users in the right direction and avoid doing unnecessary work.
To detect a kernel source tree, check for existence of the 'Kbuild' and
'Kconfig' files.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions