diff options
| author | Andrew Tridgell <tridge@samba.org> | 2014-07-08 20:24:18 +1000 |
|---|---|---|
| committer | Lorenz Meier <lm@inf.ethz.ch> | 2014-07-08 13:56:02 +0200 |
| commit | ac8f179f2dad99d664a6f9de4df954bea7fe5858 (patch) | |
| tree | cbb59037ac638a9cca394c37089336ace48481cb /Tools | |
| parent | 02ad0f2b91b5587b72171f570996659be02251d8 (diff) | |
| download | px4-firmware-ac8f179f2dad99d664a6f9de4df954bea7fe5858.tar.gz px4-firmware-ac8f179f2dad99d664a6f9de4df954bea7fe5858.tar.bz2 px4-firmware-ac8f179f2dad99d664a6f9de4df954bea7fe5858.zip | |
Tools: skip check_submodules.sh when NUTTX_SRC is set
this avoids using submodules when a specific NuttX tree is specified
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/check_submodules.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Tools/check_submodules.sh b/Tools/check_submodules.sh index fb180ef47..4b8789b28 100755 --- a/Tools/check_submodules.sh +++ b/Tools/check_submodules.sh @@ -1,5 +1,12 @@ #!/bin/sh +[ -n "$NUTTX_SRC" ] && { + # NUTTX_SRC is set, meaning user is overriding the NuttX tree to use. Don't + # use submodules to pull an alternatiie tree + echo "Skipping submodules as NUTTX_SRC is set to $NUTTX_SRC" + exit 0 +} + if [ -d NuttX/nuttx ]; then STATUSRETVAL=$(git status --porcelain | grep -i "NuttX") |