From 288d8a3051b70944117bcab9290d1acf5a444da3 Mon Sep 17 00:00:00 2001
From: jgromes <jgromes@users.noreply.github.com>
Date: Thu, 30 Apr 2020 18:29:57 +0200
Subject: [PATCH] Travis attempt to fix exec not found error for STM32F4

---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index a35b2190..72221365 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -107,8 +107,9 @@ before_install:
       arduino --install-boards stm32duino:STM32F1;
 
     elif [[ "$BOARD" =~ "stm32duino:STM32F4:" ]]; then
-      export BUILD_EXAMPLES=false;
+      export BUILD_EXAMPLES=true;
       arduino --pref "boardsmanager.additional.urls=http://dan.drown.org/stm32duino/package_STM32duino_index.json" --save-prefs 2>&1;
+      arduino --install-boards stm32duino:STM32F1;
       arduino --install-boards stm32duino:STM32F4;
 
     fi