From 76f187b13b122d1dbb1f09ca71d6da8fb5dabfa3 Mon Sep 17 00:00:00 2001
From: Max Prokhorov <prokhorov.max@outlook.com>
Date: Mon, 29 Mar 2021 22:38:05 +0300
Subject: [PATCH] ci: workaround for the pio-test

Install the platform explicitly, since the recent version does not do it anymore
(which is hopefully a bug)
---
 ci_install.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ci_install.sh b/ci_install.sh
index c0770c48..9b781730 100755
--- a/ci_install.sh
+++ b/ci_install.sh
@@ -13,11 +13,16 @@ pio_install() {
     pio platform update -p
 }
 
+host_install() {
+    pio platform install native
+}
+
 cd code
 
 case "$1" in
 ("host")
     pio_install
+    host_install
     ;;
 ("webui")
     npm_install