diff options
| -rwxr-xr-x | Tools/check_submodules.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Tools/check_submodules.sh b/Tools/check_submodules.sh new file mode 100755 index 000000000..52ea7a146 --- /dev/null +++ b/Tools/check_submodules.sh @@ -0,0 +1,10 @@ +#!/bin/sh +STATUSRETVAL=$(git status --porcelain | grep -i "M mavlink/include/mavlink/v1.0") +if [ "$STATUSRETVAL" == "" ]; then + echo "checked mavlink submodule, correct version found" +else + echo "mavlink sub repo not at correct version. Try 'git submodule update'" + exit 1 +fi + +exit 0 |