From a8e91345e2dd17a4208fd2da938cf2458bb02d02 Mon Sep 17 00:00:00 2001 From: Ettore Di Giacinto Date: Sun, 12 Nov 2023 22:17:11 +0100 Subject: [PATCH] fixup: create piper libdir also when not built Signed-off-by: Ettore Di Giacinto --- Dockerfile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Dockerfile b/Dockerfile index 2091e2e3..fb2b0a8c 100644 --- a/Dockerfile +++ b/Dockerfile @@ -118,6 +118,11 @@ RUN if [ "${BUILD_GRPC}" = "true" ]; then \ # Rebuild with defaults backends RUN make build +RUN if [ ! -d "/build/go-piper/piper/build/pi/lib/" ]; then \ + mkdir -p /build/go-piper/piper/build/pi/lib/ \ + touch /build/go-piper/piper/build/pi/lib/keep \ + ; fi + ################################### ###################################