diff options
| author | David Kowis | 2009-09-30 21:51:08 -0500 |
|---|---|---|
| committer | David Kowis | 2009-09-30 21:51:08 -0500 |
| commit | 35c470e5a0110816d63aa4c541093e32ca548438 (patch) | |
| tree | af938f205e2db76f2279eb7d9c4cc2214f0bd337 | |
| parent | db61b35c578a404f4600162688864a02d9b5ea0c (diff) | |
php: need to be sure to turn off PDO drivers when not used.
| -rwxr-xr-x | php-pear/php/CONFIGURE | 3 | ||||
| -rw-r--r-- | php-pear/php/HISTORY | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/php-pear/php/CONFIGURE b/php-pear/php/CONFIGURE index 6a83a06a5a..ff1ee321c6 100755 --- a/php-pear/php/CONFIGURE +++ b/php-pear/php/CONFIGURE @@ -91,6 +91,9 @@ if list_find "$PHP5_OPTS" "--enable-pdo"; then else config_query_option PHP5_OPTS "Enable PDO driver for $foo?" n "--with-pdo-$foo=${INSTALL_ROOT}/usr" "--without-pdo-$foo" fi + else + #be sure that the PDO driver is disabled + PHP5_OPTS="$PHP5_OPTS --without-pdo-$foo" fi done fi && diff --git a/php-pear/php/HISTORY b/php-pear/php/HISTORY index 4e0441ac3e..8b8602d0ee 100644 --- a/php-pear/php/HISTORY +++ b/php-pear/php/HISTORY @@ -1,3 +1,6 @@ +2009-09-30 David Kowis <dkowis@shlrm.org> + * CONFIGURE: need to force removing of pdo drivers if they're not selected + 2009-09-23 Vlad Glagolev <stealth@sourcemage.org> * DEPENDS: fixed built-in curl support when the subdep is selected * CONFIGURE: fixed some typos |