From: Christian Dywan <christian@twotoasts.de>
Date: Fri, 17 Apr 2009 01:36:43 +0000 (+0200)
Subject: Don't built the Tab Panel, it is not currently useful
X-Git-Url: https://spindle.queued.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f50239676c7ca6d6857504167d4ca5dead3d7efb;p=midori

Don't built the Tab Panel, it is not currently useful
---

diff --git a/extensions/wscript_build b/extensions/wscript_build
index 1ea845d2..ae26cc50 100644
--- a/extensions/wscript_build
+++ b/extensions/wscript_build
@@ -4,6 +4,9 @@
 
 extensions = os.listdir ('extensions')
 for extension in extensions:
+    # Tab Panel isn't useful at this point
+    if extension == 'tab-panel':
+        continue
     folder = 'extensions' + os.sep + extension
     if os.path.isdir (folder):
         files = os.listdir (folder)