diff options
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/check_submodules.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Tools/check_submodules.sh b/Tools/check_submodules.sh index fb180ef47..55bcc05ee 100755 --- a/Tools/check_submodules.sh +++ b/Tools/check_submodules.sh @@ -1,5 +1,11 @@ #!/bin/sh +[ -n "$GIT_SUBMODULES_ARE_EVIL" ] && { + # GIT_SUBMODULES_ARE_EVIL is set, meaning user doesn't want submodules + echo "Skipping submodules. NUTTX_SRC is set to $NUTTX_SRC" + exit 0 +} + if [ -d NuttX/nuttx ]; then STATUSRETVAL=$(git status --porcelain | grep -i "NuttX") |