wscript: make libdl optional for systems that include it in libc

2023-11-22 15:25:38 -05:00 · 2023-11-22 15:25:38 -05:00 · 652b1804a8
parent e7e1677786
commit 652b1804a8
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -409,7 +409,7 @@ def configure(conf):
 			for i in a:
 				conf.check_cc(lib = i)
 	else:
-		conf.check_cc(lib='dl')
+		conf.check_cc(lib='dl', mandatory = False)
 		conf.check_cc(lib='m')