Oops - missed out z88dk include directory by mistake

2025-05-19 18:50:43 +01:00
parent a08f0351ed
commit 17a903338a
1 changed files with 1 additions and 0 deletions
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -85,6 +85,7 @@ COPY --from=build /zxbasic/zxbpp.py /opt/zxbasic/zxbpp
 COPY --from=build /zxbasic/src /opt/zxbasic/src
 COPY --from=z88dk /opt/z88dk/bin /opt/z88dk/bin
 COPY --from=z88dk /opt/z88dk/lib /opt/z88dk/lib
+COPY --from=z88dk /opt/z88dk/include /opt/z88dk/include
 ENV PATH="${PATH}:/opt/z88dk/bin:/opt/zxbasic"
 ENV ZCCCFG="/opt/z88dk/lib/config"
 USER ubuntu