From b936730e51ad0fcfe3d7e1cf3f8338f7d42664de Mon Sep 17 00:00:00 2001 From: crazywhalecc Date: Mon, 16 May 2022 14:11:00 +0800 Subject: [PATCH] fix micro bug for docker --- docker/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/docker/Dockerfile b/docker/Dockerfile index 5c7f1a46..40aa6d48 100755 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -78,6 +78,7 @@ RUN ./download.sh php ${USE_BACKUP} ${VER_PHP} > /dev/null COPY extensions.txt /app/ COPY check-extensions.sh /app/ COPY compile-php.sh /app/ +COPY cpmpile-micro.sh /app/ RUN chmod +x ./check-extensions.sh && \ chmod +x ./compile-php.sh && \