diff options
| author | jvoisin | 2019-07-10 20:32:56 +0200 |
|---|---|---|
| committer | jvoisin | 2019-07-10 20:45:53 +0200 |
| commit | 92584082f9a86243f8155889dbcc2716e09750f4 (patch) | |
| tree | e5659adcb91926a1b425a9cf12403fadcbb23f78 /src/tests/disable_function/disabled_function_echo.phpt | |
| parent | 031d81b5decfd4ce504b15777028ed74ce84f65e (diff) | |
Fix the Debian build on gitlab
Apparently, pcre isn't a hard dependency for php anymore.
We're using pcre2, because pcre3 is actually pcre in Debian,
because why not.
Diffstat (limited to 'src/tests/disable_function/disabled_function_echo.phpt')
0 files changed, 0 insertions, 0 deletions