Mirror/ardupilot
5
0
Fork 0
mirror of https://github.com/ArduPilot/ardupilot synced 2025-02-06 16:03:58 -04:00
Code Issues Packages Projects Releases Wiki Activity

modules: check also for modules/.git

Browse Source
This commit is contained in:
Andrew Tridgell 2015-06-09 12:34:09 +10:00
parent 02aa6983a7
commit fc3b75710f
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
mk/check_modules.sh
View File

@ -14,6 +14,11 @@ for m in $MODULE_LIST; do
NEED_INIT=1
break
}
[ -f modules/$m/.git ] || {
echo "module/$m/.git missing - need module init"
NEED_INIT=1
break
}
done
[ $NEED_INIT = 1 ] && {