mirror of
https://github.com/google/blockly.git
synced 2026-01-05 08:00:09 +01:00
Automatic commit Wed Jan 15 03:00:09 PST 2014
This commit is contained in:
2
build.py
2
build.py
@@ -32,6 +32,7 @@
|
||||
# blocks_compressed.js: The compressed Blockly language blocks.
|
||||
# javascript_compressed.js: The compressed Javascript generator.
|
||||
# python_compressed.js: The compressed Python generator.
|
||||
# dart_compressed.js: The compressed Dart generator.
|
||||
# msg/js/<LANG>.js for every language <LANG> defined in msg/js/<LANG>.json.
|
||||
|
||||
import errno, glob, httplib, json, os, re, subprocess, sys, threading, urllib
|
||||
@@ -150,6 +151,7 @@ class Gen_compressed(threading.Thread):
|
||||
self.gen_blocks()
|
||||
self.gen_generator('javascript')
|
||||
self.gen_generator('python')
|
||||
self.gen_generator('dart')
|
||||
|
||||
def gen_core(self):
|
||||
target_filename = 'blockly_compressed.js'
|
||||
|
||||
Reference in New Issue
Block a user