3 ms·

I'd be more a fan of: - curl -s url-to-php -o ... - ./configure && make && make install But to each his own :)