diff options
| author | Rob Herring <robh@kernel.org> | 2021-06-02 20:28:06 -0500 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2021-06-04 11:20:52 -0600 |
| commit | 709dedfdf3daa8719240ecff1c0b70b278005386 (patch) | |
| tree | 7a74f61b01d46f94711e7a4b418b0c93fcaf8269 /scripts | |
| parent | c003555a026f56dae1d6b522045a7917150ceabb (diff) | |
documentation-file-ref-check: Make git check work for multiple working directories
With multiple git working directories, '.git' may also be a text file
linking to the actual git tree instead of a directory.
Cc: Mauro Carvalho Chehab <mchehab@kernel.org>
Cc: Jonathan Corbet <corbet@lwn.net>
Cc: linux-doc@vger.kernel.org
Signed-off-by: Rob Herring <robh@kernel.org>
Reviewed-by: Mauro Carvalho Chehab <mchehab@kernel.org>
Tested-by: Mauro Carvalho Chehab <mchehab@kernel.org>
Link: https://lore.kernel.org/r/20210603012806.331132-1-robh@kernel.org
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/documentation-file-ref-check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/documentation-file-ref-check b/scripts/documentation-file-ref-check index c71832b2312b..7187ea5e5149 100755 --- a/scripts/documentation-file-ref-check +++ b/scripts/documentation-file-ref-check @@ -24,7 +24,7 @@ my $help = 0; my $fix = 0; my $warn = 0; -if (! -d ".git") { +if (! -e ".git") { printf "Warning: can't check if file exists, as this is not a git tree\n"; exit 0; } |