summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--scripts/extlib.lua7
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/extlib.lua b/scripts/extlib.lua
index 7347a734c18..0ed3415377d 100644
--- a/scripts/extlib.lua
+++ b/scripts/extlib.lua
@@ -92,7 +92,12 @@ function ext_best(lib, default, idx)
-- override default if provided (format <libname:includedir>)
local x = opt:explode(":")
if x[idx]~=nil then
- found = x[idx]
+ local y = x[idx]:explode(",")
+ if y[1]~=nil then
+ found = y
+ else
+ found = x[idx]
+ end
end
end
return found