diff options
| -rwxr-xr-x | utils/update-kernel-headers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/update-kernel-headers.sh b/utils/update-kernel-headers.sh index a006452e..590986d2 100755 --- a/utils/update-kernel-headers.sh +++ b/utils/update-kernel-headers.sh @@ -18,7 +18,7 @@ if [ "$line" != "# Kbuild for top-level directory of the kernel" ] ; then exit 1 fi -if [ ! -d "${kernel_dir}/.git" ] ; then +if [ ! -e "${kernel_dir}/.git" ] ; then echo "Directory ${kernel_dir} doesn't contain a git tree" exit 1 fi |