Don't build external download manager on Win32

2012-04-06 20:11:40 +02:00 · 2012-04-06 20:11:40 +02:00 · 2d921d4416
commit 2d921d4416
parent 24a50fbb78
1 changed files with 3 additions and 0 deletions
--- 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 = '..'