diff options
| author | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2023-09-26 02:10:15 +0300 |
|---|---|---|
| committer | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2023-10-18 16:17:18 +0300 |
| commit | d2094a0185647666ca8f810265521f0b892c4646 (patch) | |
| tree | c11fae9863bc2abfb69753c827cf64f5d59e4faa /utils/gen-formats.py | |
| parent | d848d2a21cac21b1189e641347d0869eb77744b4 (diff) | |
utils: update-kernel-headers: Support git worktrees
When operating on a git worktree, the Linux kernel directory contains a
.git file, not a .git directory. Relax the git tree check to support
both.
Signed-off-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Reviewed-by: Kieran Bingham <kieran.bingham@ideasonboard.com>
Diffstat (limited to 'utils/gen-formats.py')
0 files changed, 0 insertions, 0 deletions