From 23a2b11abf22d434be17cfce1c491fca0e9c58f2 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Tue, 21 Apr 2015 13:16:41 +0000
Subject: [PATCH] tools: Add STM32F4DISC and ESPRUINO_PICO to stmhal build
 script.

---
 tools/build-stm-latest.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/build-stm-latest.sh b/tools/build-stm-latest.sh
index e80df648f..07cb168da 100755
--- a/tools/build-stm-latest.sh
+++ b/tools/build-stm-latest.sh
@@ -38,3 +38,5 @@ do_build pybv3 PYBV3
 do_build pybv3-network PYBV3 MICROPY_PY_WIZNET5K=1 MICROPY_PY_CC3K=1
 do_build pybv10 PYBV10
 do_build pybv10-network PYBV10 MICROPY_PY_WIZNET5K=1 MICROPY_PY_CC3K=1
+do_build stm32f4disc STM32F4DISC
+do_build espruino-pico ESPRUINO_PICO