build: Check for .git, but it doesn't have to be a directory, so that esp-idf will...

Merges #438 https://github.com/espressif/esp-idf/pull/438

diff --git a/make/project.mk b/make/project.mk
index f5ae796f057b2e076fe5f9aa325163fafd4ffb57..9980e580099047899577a29f87adb0237bf41bc3 100644 (file)
--- a/make/project.mk
+++ b/make/project.mk
@@ -409,7 +409,7 @@ define GenerateSubmoduleCheckTarget
 check-submodules: $(IDF_PATH)/$(1)/.git
 $(IDF_PATH)/$(1)/.git:
        @echo "WARNING: Missing submodule $(1)..."
-       [ -d ${IDF_PATH}/.git ] || ( echo "ERROR: esp-idf must be cloned from git to work."; exit 1)
+       [ -e ${IDF_PATH}/.git ] || ( echo "ERROR: esp-idf must be cloned from git to work."; exit 1)
        [ -x $(which git) ] || ( echo "ERROR: Need to run 'git submodule init $(1)' in esp-idf root directory."; exit 1)
        @echo "Attempting 'git submodule update --init $(1)' in esp-idf root directory..."
        cd ${IDF_PATH} && git submodule update --init $(1)