##// END OF EJS Templates
Merge with crew-stable
Patrick Mezard -
r5807:4dfe7d5b merge default
parent child Browse files
Show More
@@ -68,6 +68,13 b' if options.interactive and options.jobs '
68 print >> sys.stderr, 'ERROR: cannot mix -interactive and --jobs > 1'
68 print >> sys.stderr, 'ERROR: cannot mix -interactive and --jobs > 1'
69 sys.exit(1)
69 sys.exit(1)
70
70
71 def rename(src, dst):
72 """Like os.rename(), trade atomicity and opened files friendliness
73 for existing destination support.
74 """
75 shutil.copy(src, dst)
76 os.remove(src)
77
71 def vlog(*msg):
78 def vlog(*msg):
72 if verbose:
79 if verbose:
73 for m in msg:
80 for m in msg:
@@ -530,7 +537,7 b' def run_tests(tests):'
530 print "Accept this change? [n] ",
537 print "Accept this change? [n] ",
531 answer = sys.stdin.readline().strip()
538 answer = sys.stdin.readline().strip()
532 if answer.lower() in "y yes".split():
539 if answer.lower() in "y yes".split():
533 os.rename(test + ".err", test + ".out")
540 rename(test + ".err", test + ".out")
534 tested += 1
541 tested += 1
535 continue
542 continue
536 failed += 1
543 failed += 1
General Comments 0
You need to be logged in to leave comments. Login now