From: Christian Dywan <christian@twotoasts.de>
Date: Fri, 6 Apr 2012 18:11:40 +0000 (+0200)
Subject: Don't build external download manager on Win32
X-Git-Url: https://spindle.queued.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2d921d441615baa7bd1203030756b29402461ae1;p=midori

Don't build external download manager on Win32
---

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 = '..'