![](/media/cache/img/default_profile.jpg.50x50_q85.jpg)
0527
Diff: Jenkinsfile
- Revision:
- 55:23a0d1e8270a
- Parent:
- 54:b9963ccc0c2d
- Child:
- 57:c8c960b825f0
--- a/Jenkinsfile Wed Jan 31 10:00:03 2018 +0000 +++ b/Jenkinsfile Thu Feb 15 10:34:31 2018 +0100 @@ -17,7 +17,8 @@ "REALTEK_RTL8195AM": ["builtin"], "K64F": ["WIFI_ESP8266"], "NUCLEO_F401RE": ["WIFI_IDW0XX1"], - "NUCLEO_F429ZI": ["WIFI_ESP8266"] + "NUCLEO_F429ZI": ["WIFI_ESP8266"], + "DISCO_L475VG_IOT01A": ["WIFI_ISM43362"] ] // Map toolchains to compilers