Don't build external download manager on Win32

diff --git a/extensions/wscript_build b/extensions/wscript_build
index 3ccf937fe4b58d7f9075d90cc846e6069b38add9..b4031ee870f6650f6e460885be6ee6c872e68a31 100644 (file)
--- a/extensions/wscript_build
+++ b/extensions/wscript_build
@@ -28,6 +28,9 @@ for extension in extensions:
             continue
         source = extension
 
+    if bld.env['platform'] == 'win32' and target in ['external-download-manager']:
+        continue
+
     obj = bld.new_task_gen ('cc', 'shlib')
     obj.target = target
     obj.includes = '..'