setup.py
changeset 7896 4c954e1e73ef
parent 7879 9aae456abab5
child 8695 358d8bed9626
--- a/setup.py	Thu Sep 29 14:47:04 2011 +0200
+++ b/setup.py	Tue Aug 09 09:43:26 2011 +0200
@@ -119,7 +119,7 @@
             src = '%s/%s' % (directory, filename)
             dest = to_dir + src[len(from_dir):]
             if verbose:
-               print >> sys.stderr, src, '->', dest
+               sys.stderr.write('%s -> %s\n' % (src, dest))
             if os.path.isdir(src):
                 if not exists(dest):
                     os.mkdir(dest)