mirror of
https://github.com/danog/php.git
synced 2025-01-22 04:51:20 +01:00
9bcb75e9db
"configure: WARNING: unrecognized options" just gets lost in all the configure output