Skip to content
This repository was archived by the owner on Dec 23, 2018. It is now read-only.

Commit c701825

Browse files
committed
Fix a php.ini file that was not copied
In this case, a php.ini file doesn't exists or not copied from source package to $PREFIX_PATH/etc directory
1 parent 20416da commit c701825

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

bin/php-build

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -131,6 +131,10 @@ build_package() {
131131
if [ -n "$PHP_BUILD_DEFAULT_INI" ]; then
132132
if [ -f "$package_name/$PHP_BUILD_DEFAULT_INI" ]; then
133133
cp "$package_name/$PHP_BUILD_DEFAULT_INI" "$PREFIX_PATH/etc/php.ini"
134+
else
135+
if [ -f "$PHP_BUILD_DEFAULT_INI" ]; then
136+
cp "$PHP_BUILD_DEFAULT_INI" "$PREFIX_PATH/etc/php.ini"
137+
fi
134138
fi
135139
fi
136140
}

0 commit comments

Comments
 (0)