diff options
author | Remi Collet <remi@remirepo.net> | 2019-10-25 10:01:38 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2019-10-25 10:01:38 +0200 |
commit | 2472ee720e98f6226ced9e2f74f2b0c8ed4caa6b (patch) | |
tree | ecc570f1e95330f2a04d4035b2d9a5d790e6acec /20-ffi.ini | |
parent | c21dae38420a57adc2c677a76d50a44db3c496bc (diff) |
add /usr/share/php/preload as default ffi.preload configuration
Diffstat (limited to '20-ffi.ini')
-rw-r--r-- | 20-ffi.ini | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -8,4 +8,6 @@ extension=ffi ;ffi.enable=preload ; List of headers files to preload, wildcard patterns allowed. -;ffi.preload= +; /usr/share/php/preload used by for RPM packages +; /usr/local/share/php/preload may be used for local files +ffi.preload=/usr/share/php/preload/*.h:/usr/local/share/php/preload/*.h |