equal
deleted
inserted
replaced
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() |