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

diff --git a/extensions/wscript_build b/extensions/wscript_build
index 1ea845d288db87782562f300c6cabe49c046c832..ae26cc5095d189a226d6ca58989b3fa507fd1253 100644 (file)
--- 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)