From 09437d3e919957e62f6acd1ba2165b5d214aca55 Mon Sep 17 00:00:00 2001
From: Jerry Ma <jesse2061@outlook.com>
Date: Mon, 20 Jun 2022 18:53:19 +0800
Subject: [PATCH] Update check-extensions.sh [skip ci]

---
 docker/check-extensions.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/check-extensions.sh b/docker/check-extensions.sh
index dd609b4f..d30bbc07 100755
--- a/docker/check-extensions.sh
+++ b/docker/check-extensions.sh
@@ -101,7 +101,7 @@ function check_before_configure() {
     done
     case $1 in
     8.*)
-        mv $self_dir/source/micro $php_dir/sapi/ && \
+        mv $self_dir/source/phpmicro $php_dir/sapi/micro && \
             sed -ie 's/#include "php.h"/#include "php.h"\n#define PHP_MICRO_FAKE_CLI 1/g' $php_dir/sapi/micro/php_micro.c
         ;;
     esac