From e5f40da8075b343c3211e09a092d2519d7d4952f Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 24 Oct 2019 08:20:00 +0200 Subject: allow wildcards in ffi.preload --- 20-ffi.ini | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '20-ffi.ini') diff --git a/20-ffi.ini b/20-ffi.ini index 4d1073c..a4e30cc 100644 --- a/20-ffi.ini +++ b/20-ffi.ini @@ -7,5 +7,5 @@ extension=ffi ; "true" - always enabled ;ffi.enable=preload -; List of headers files to preload +; List of headers files to preload, wildcard patterns allowed. ;ffi.preload= -- cgit