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

FWGS · Nov 25, 2023 · 652b180 · 652b180
1 parent e7e1677
commit 652b180
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/wscript b/wscript
@@ -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')