svgui/pyjs/build.py
changeset 2451 6d1bf321fb89
parent 2439 f0a040f1de1b
equal deleted inserted replaced
2450:5024c19ca8f0 2451:6d1bf321fb89
   182         return
   182         return
   183     if not os.path.isdir(output):
   183     if not os.path.isdir(output):
   184         try:
   184         try:
   185             print("Creating output directory")
   185             print("Creating output directory")
   186             os.mkdir(output)
   186             os.mkdir(output)
   187         except StandardError as e:
   187         except OSError as e:
   188             print("Exception creating output directory %s: %s" % (output, e), file=sys.stderr)
   188             print("Exception creating output directory %s: %s" % (output, e), file=sys.stderr)
   189 
   189 
   190     # public dir
   190     # public dir
   191     for p in pyjs.path:
   191     for p in pyjs.path:
   192         pub_dir = join(p, 'public')
   192         pub_dir = join(p, 'public')