From 2d921d441615baa7bd1203030756b29402461ae1 Mon Sep 17 00:00:00 2001
From: Christian Dywan <christian@twotoasts.de>
Date: Fri, 6 Apr 2012 20:11:40 +0200
Subject: [PATCH] Don't build external download manager on Win32

---
 extensions/wscript_build | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/extensions/wscript_build b/extensions/wscript_build
index 3ccf937f..b4031ee8 100644
--- 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 = '..'
-- 
2.39.5