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

ci: fix -e flag not restored in build_sketches on error

This commit is contained in:
Ivan Grokhotkov 2017-05-20 12:13:20 +08:00
parent 684b5f1629
commit 3363be0063

View File

@ -66,6 +66,7 @@ function build_sketches()
echo "Build failed ($1)" echo "Build failed ($1)"
echo "Build log:" echo "Build log:"
cat build.log cat build.log
set -e
return $result return $result
fi fi
rm build.log rm build.log