[fix] setupkoenv: change "ERROR" to "(warning)" (#3860)

Not all failures to load are fatal. I still worry that this might be too noisy but it'd be useful to always have available.
pull/3867/head
Frans de Jonge 6 years ago committed by GitHub
parent f63975d9db
commit e66b4882dc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -26,7 +26,7 @@ ffi.load = function(lib)
local lib_path = package.searchpath(lib, "./lib?.so;./libs/lib?.so;./libs/lib?.so.1")
if not lib_path then
io.write("ffi.load ERROR: ", re, "\n")
io.write("ffi.load (warning): ", re, "\n")
error('Not able to load dynamic library: ' .. lib)
else
io.write("ffi.load (assisted searchpath): ", lib_path, "\n")

Loading…
Cancel
Save