diff --git a/wscript b/wscript
index 83133321..0e3afb73 100644
--- 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')