Mirror/ardupilot
5
0
Fork 0
mirror of https://github.com/ArduPilot/ardupilot synced 2025-01-05 07:28:29 -04:00
Code Issues Packages Projects Releases Wiki Activity

fixup

Browse Source
This commit is contained in:
Andrew Tridgell 2012-12-19 11:02:33 +11:00
parent 306dc926ff
commit 958b27f06d
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Tools/scripts/build_examples.sh
View File

@ -22,7 +22,9 @@ for b in $TESTS; do
if [ -r nobuild.txt ]; then if [ -r nobuild.txt ]; then
echo "Skipping build of $b" echo "Skipping build of $b"
else else
make $targets for t in $targets; do
make $t
done
fi fi
popd popd
done done