From f50239676c7ca6d6857504167d4ca5dead3d7efb Mon Sep 17 00:00:00 2001
From: Christian Dywan <christian@twotoasts.de>
Date: Fri, 17 Apr 2009 03:36:43 +0200
Subject: [PATCH] Don't built the Tab Panel, it is not currently useful

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

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)
-- 
2.39.5