diff --git a/Tools/check_submodules.sh b/Tools/check_submodules.sh new file mode 100755 index 0000000000..52ea7a1466 --- /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