From ac73430502922c7c608d5daa6bce47ccf9482808 Mon Sep 17 00:00:00 2001
From: gwtnz <10123549+gwtnz@users.noreply.github.com>
Date: Wed, 25 Mar 2020 08:51:18 -0500
Subject: [PATCH] Dockerfile: copy picolibc header into container

---
 Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index 9a90d764..80ae1046 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -15,6 +15,8 @@ RUN cd /tinygo/ && \
     git submodule sync && \
     git submodule update --init --recursive --force
 
+COPY ./lib/picolibc-include/* /tinygo/lib/picolibc-include/
+
 RUN cd /tinygo/ && \
     go install /tinygo/