From b768c153ae1119e4faa22974bc9e7b5f711150e2 Mon Sep 17 00:00:00 2001 From: iphydf Date: Sun, 27 Mar 2022 19:56:09 +0000 Subject: [PATCH] chore: Add third_party to toxcore-sources docker image. This is needed so other/docker/coverage/run works. --- other/docker/sources/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/other/docker/sources/Dockerfile b/other/docker/sources/Dockerfile index 1d257161..73a3ea0b 100644 --- a/other/docker/sources/Dockerfile +++ b/other/docker/sources/Dockerfile @@ -1,6 +1,7 @@ FROM scratch # Roughly in order of change frequency. +COPY third_party/ /src/third_party/ COPY .github/scripts/flags*.sh /src/.github/scripts/ COPY other/proxy/ /src/other/proxy/ COPY cmake/ /src/cmake/