svgui/pyjs/build.py
changeset 1834 cd42b426028b
parent 1832 0f1081928d65
child 1846 14b40afccd69
equal deleted inserted replaced
1833:2269739dd098 1834:cd42b426028b
     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 os
       
     6 import shutil
     5 import shutil
     7 import time
     6 import time
     8 import re
     7 import re
       
     8 import os
       
     9 from os.path import join, dirname, basename, abspath, split, isfile, isdir
     9 from hashlib import md5
    10 from hashlib import md5
    10 from copy import copy
    11 from copy import copy
    11 from os.path import join, dirname, basename, abspath, split, isfile, isdir
       
    12 from optparse import OptionParser
    12 from optparse import OptionParser
    13 from cStringIO import StringIO
    13 from cStringIO import StringIO
    14 
    14 
    15 import pyjs
    15 import pyjs
    16 
    16