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

Clean build directory after each sketch

This commit is contained in:
Ivan Grokhotkov 2016-03-28 00:28:05 +03:00 committed by Nat Weerawan
parent cef5abd3cf
commit aded314bde

View File

@ -40,12 +40,12 @@ function build_sketches()
local build_arg=$3 local build_arg=$3
local build_dir=build.tmp local build_dir=build.tmp
mkdir -p $build_dir mkdir -p $build_dir
rm -rf $build_dir/*
local build_cmd="python tools/build.py -b generic -v -k -p $PWD/$build_dir $build_arg " local build_cmd="python tools/build.py -b generic -v -k -p $PWD/$build_dir $build_arg "
local sketches=$(find $srcpath -name *.ino) local sketches=$(find $srcpath -name *.ino)
print_size_info >size.log print_size_info >size.log
export ARDUINO_IDE_PATH=$arduino export ARDUINO_IDE_PATH=$arduino
for sketch in $sketches; do for sketch in $sketches; do
rm -rf $build_dir/*
local sketchdir=$(dirname $sketch) local sketchdir=$(dirname $sketch)
local sketchdirname=$(basename $sketchdir) local sketchdirname=$(basename $sketchdir)
local sketchname=$(basename $sketch) local sketchname=$(basename $sketch)