svgui/pyjs/build.py
changeset 1850 614396cbffbf
parent 1846 14b40afccd69
child 1853 47a3f39bead0
equal deleted inserted replaced
1849:6811021e3d94 1850:614396cbffbf
     1 #!/usr/bin/env python
     1 #!/usr/bin/env python
     2 
     2 
     3 from __future__ import print_function
     3 from __future__ import print_function
     4 import sys
     4 import sys
     5 import shutil
     5 import shutil
     6 import time
       
     7 import re
     6 import re
     8 import os
     7 import os
     9 from os.path import join, dirname, basename, abspath, split, isfile, isdir
     8 from os.path import join, basename, abspath, split, isfile, isdir
    10 from hashlib import md5
     9 from hashlib import md5
    11 from copy import copy
       
    12 from optparse import OptionParser
    10 from optparse import OptionParser
    13 from cStringIO import StringIO
    11 from cStringIO import StringIO
    14 
    12 
    15 import pyjs
    13 import pyjs
    16 
    14