Remove unnecessary dist parameter

This commit is contained in:
Shivam Mathur
2022-01-29 12:14:42 +05:30
parent 71d07ee7f4
commit 0022878947
11 changed files with 34 additions and 41 deletions

View File

@ -49,7 +49,7 @@ enable_extension() {
# Function to get a map of extensions and their dependent shared extensions.
get_extension_map() {
php -d'error_reporting=0' "${dist:?}"/../src/scripts/extensions/extension_map.php /tmp/map"$version".orig
php -d'error_reporting=0' "${src:?}"/scripts/extensions/extension_map.php /tmp/map"$version".orig
}
# Function to enable extension dependencies which are also extensions.