diff options
Diffstat (limited to 'tex/context/base/mkiv/libs-ini.lua')
-rw-r--r-- | tex/context/base/mkiv/libs-ini.lua | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/tex/context/base/mkiv/libs-ini.lua b/tex/context/base/mkiv/libs-ini.lua index 2bac3201d..5fc8ded98 100644 --- a/tex/context/base/mkiv/libs-ini.lua +++ b/tex/context/base/mkiv/libs-ini.lua @@ -30,8 +30,10 @@ local expandpaths = resolvers.expandedpathlistfromvariable local report = logs.reporter("resolvers","libraries") local trace = false +local silent = false -trackers.register("resolvers.lib", function(v) trace = v end) +trackers.register("resolvers.lib", function(v) trace = v end) +trackers.register("resolvers.lib.silent", function(v) silent = v end) local function findlib(required) -- todo: cache local suffix = os.libsuffix or "so" @@ -143,10 +145,10 @@ function libraries.optionalloaded(name,libnames) end end local initialized = thelib_initialize(unpack(libnames)) - if initialized then - report("using library '% + t'",libnames) - else + if not initialized then report("unable to initialize library '% + t'",libnames) + elseif not silent then + report("using library '% + t'",libnames) end return initialized end |