diff options
| author | Remi Collet <remi@remirepo.net> | 2019-10-25 09:59:54 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2019-10-25 10:00:21 +0200 |
| commit | 1730e100dc68753a8e740950b4f6754e1fcb5feb (patch) | |
| tree | f160ecb4ec080461102c4080b8b3a64a66c1f45b /20-ffi.ini | |
| parent | e5f40da8075b343c3211e09a092d2519d7d4952f (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 |