From c8719f8d143dc7388289a9806dd076916f0bdd94 Mon Sep 17 00:00:00 2001 From: Yurii Soldak Date: Tue, 26 Oct 2021 23:08:40 +0200 Subject: [PATCH] docker: add picolibc-include directory --- Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Dockerfile b/Dockerfile index 603cfe54..9328f025 100644 --- a/Dockerfile +++ b/Dockerfile @@ -16,6 +16,7 @@ RUN cd /tinygo/ && \ git submodule update --init --recursive --force COPY ./lib/picolibc-* /tinygo/lib/ +COPY ./lib/picolibc-include/* /tinygo/lib/picolibc-include/ RUN cd /tinygo/ && \ go install /tinygo/