svgui/pyjs/build.py
changeset 1757 0de89da92ee0
parent 1755 624b9694cb0d
child 1758 845ca626db09
equal deleted inserted replaced
1756:08e4394ff4fb 1757:0de89da92ee0
   721 
   721 
   722     for d in options.library_dirs:
   722     for d in options.library_dirs:
   723         pyjs.path.append(abspath(d))
   723         pyjs.path.append(abspath(d))
   724 
   724 
   725     if options.platforms:
   725     if options.platforms:
   726        app_platforms = options.platforms.split(',')
   726         app_platforms = options.platforms.split(',')
   727 
   727 
   728     # this is mostly for getting boilerplate stuff
   728     # this is mostly for getting boilerplate stuff
   729     data_dir = os.path.abspath(options.data_dir)
   729     data_dir = os.path.abspath(options.data_dir)
   730 
   730 
   731     build(app_name, options.output, options.js_includes,
   731     build(app_name, options.output, options.js_includes,