1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-19 23:22:16 +03:00

Skip files which aren't main sketch files

This commit is contained in:
Ivan Grokhotkov 2016-03-03 17:42:27 +03:00
parent fa3effa5fc
commit 53ba831c90

View File

@ -10,6 +10,12 @@ function build_sketches()
export ARDUINO_IDE_PATH=$arduino export ARDUINO_IDE_PATH=$arduino
for sketch in $sketches; do for sketch in $sketches; do
local sketchdir=$(dirname $sketch) local sketchdir=$(dirname $sketch)
local sketchdirname=$(basename $sketchdir)
local sketchname=$(basename $sketch)
if [[ "${sketchdirname}.ino" != "$sketchname" ]]; then
echo "Skipping $sketch, beacause it is not the main sketch file";
continue
fi;
if [[ -f "$sketchdir/.test.skip" ]]; then if [[ -f "$sketchdir/.test.skip" ]]; then
echo -e "\n\n ------------ Skipping $sketch ------------ \n\n"; echo -e "\n\n ------------ Skipping $sketch ------------ \n\n";
continue continue