mirror of
https://github.com/php/php-src.git
synced 2026-04-28 02:33:17 +02:00
a020d3bbea
Try to do this using "variables" -- apparently these get uppercased and are made available as environment variables.