Make "strip" in "docker-php-ext-install" conditional on "ZEND_DEBUG_BUILD"

Co-authored-by: Michael Voříšek <mvorisek@mvorisek.cz>
This commit is contained in:
Tianon Gravi 2022-03-24 13:53:22 -07:00
parent f2754514da
commit af4cd1a218
39 changed files with 741 additions and 234 deletions

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done

View File

@ -103,21 +103,34 @@ fi
popDir="$PWD" popDir="$PWD"
for ext in $exts; do for ext in $exts; do
cd "$ext" cd "$ext"
[ -e Makefile ] || docker-php-ext-configure "$ext" [ -e Makefile ] || docker-php-ext-configure "$ext"
make -j"$j" make -j"$j"
if ! php -n -d 'display_errors=stderr' -r 'exit(ZEND_DEBUG_BUILD ? 0 : 1);' > /dev/null; then
# only "strip" modules if we aren't using a debug build of PHP
# (none of our builds are debug builds, but PHP might be recompiled with "--enable-debug" configure option)
# https://github.com/docker-library/php/issues/1268
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec sh -euxc ' \ -exec sh -euxc ' \
strip --strip-all "$@" || : strip --strip-all "$@" || :
' -- '{}' + ' -- '{}' +
fi
make -j"$j" install make -j"$j" install
find modules \ find modules \
-maxdepth 1 \ -maxdepth 1 \
-name '*.so' \ -name '*.so' \
-exec basename '{}' ';' \ -exec basename '{}' ';' \
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"} | xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
make -j"$j" clean make -j"$j" clean
cd "$popDir" cd "$popDir"
done done