1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-07-29 05:21:37 +03:00

Fixes for IPv6, added in CI (#5557)

This commit is contained in:
david gauchard
2018-12-27 16:13:48 +01:00
committed by GitHub
parent 9def8b0669
commit e3bc3c226b
12 changed files with 85 additions and 76 deletions

View File

@ -53,12 +53,13 @@ while true; do
cat << EOF
Which build?
1. main
2. debug even
3. debug odd
4. platformio
5. package
6. host
7. style
2. main + IPv6
3. debug even
4. debug odd
5. platformio
6. package
7. host
8. style
EOF
read ans
@ -66,12 +67,13 @@ EOF
BUILD_TYPE=""
case "$ans" in
1) BUILD_TYPE=build;;
2) BUILD_TYPE=debug_even;;
3) BUILD_TYPE=debug_odd;;
4) BUILD_TYPE=platformio;;
5) BUILD_TYPE=package;;
6) BUILD_TYPE=host;;
7) BUILD_TYPE=style;;
2) BUILD_TYPE=build6;;
3) BUILD_TYPE=debug_even;;
4) BUILD_TYPE=debug_odd;;
5) BUILD_TYPE=platformio;;
6) BUILD_TYPE=package;;
7) BUILD_TYPE=host;;
8) BUILD_TYPE=style;;
esac
test -z "$BUILD_TYPE" || break
done