svgui/pyjs/build.py
changeset 1749 d73b64672238
parent 1746 45d6f5fba016
child 1753 19f19c66b67e
equal deleted inserted replaced
1748:ba5f64fe0e00 1749:d73b64672238
   538     d = []
   538     d = []
   539     m = m.split(".")
   539     m = m.split(".")
   540     for i in range(0, len(m)):
   540     for i in range(0, len(m)):
   541         d.append('.'.join(m[:i+1]))
   541         d.append('.'.join(m[:i+1]))
   542     return d
   542     return d
       
   543 
   543 
   544 
   544 import time
   545 import time
   545 
   546 
   546 
   547 
   547 def add_subdeps(deps, mod_name):
   548 def add_subdeps(deps, mod_name):
   729 
   730 
   730     build(app_name, options.output, options.js_includes,
   731     build(app_name, options.output, options.js_includes,
   731           options.debug, options.dynamic and 1 or 0, data_dir,
   732           options.debug, options.dynamic and 1 or 0, data_dir,
   732           options.cache_buster, options.optimize)
   733           options.cache_buster, options.optimize)
   733 
   734 
       
   735 
   734 if __name__ == "__main__":
   736 if __name__ == "__main__":
   735     main()
   737     main()