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

2009-04-17 03:36:43 +02:00 · 2009-04-17 03:36:43 +02:00 · f50239676c
parent 310be08e48
commit f50239676c
1 changed files with 3 additions and 0 deletions
--- 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)