summaryrefslogtreecommitdiff
path: root/src/android
diff options
context:
space:
mode:
authorLaurent Pinchart <laurent.pinchart@ideasonboard.com>2023-09-26 02:10:15 +0300
committerLaurent Pinchart <laurent.pinchart@ideasonboard.com>2023-10-18 16:17:18 +0300
commitd2094a0185647666ca8f810265521f0b892c4646 (patch)
treec11fae9863bc2abfb69753c827cf64f5d59e4faa /src/android
parentd848d2a21cac21b1189e641347d0869eb77744b4 (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 'src/android')
0 files changed, 0 insertions, 0 deletions