equal
deleted
inserted
replaced
924 if options.time: |
924 if options.time: |
925 endtime = time.time() |
925 endtime = time.time() |
926 times.append((test, endtime - starttime)) |
926 times.append((test, endtime - starttime)) |
927 vlog("# Ret was:", ret) |
927 vlog("# Ret was:", ret) |
928 |
928 |
|
929 killdaemons() |
|
930 |
929 mark = '.' |
931 mark = '.' |
930 |
932 |
931 skipped = (ret == SKIPPED_STATUS) |
933 skipped = (ret == SKIPPED_STATUS) |
932 |
934 |
933 # If we're not in --debug mode and reference output file exists, |
935 # If we're not in --debug mode and reference output file exists, |
994 iolock.acquire() |
996 iolock.acquire() |
995 sys.stdout.write(mark) |
997 sys.stdout.write(mark) |
996 sys.stdout.flush() |
998 sys.stdout.flush() |
997 iolock.release() |
999 iolock.release() |
998 |
1000 |
999 killdaemons() |
|
1000 |
|
1001 if not options.keep_tmpdir: |
1001 if not options.keep_tmpdir: |
1002 shutil.rmtree(testtmp, True) |
1002 shutil.rmtree(testtmp, True) |
1003 if skipped: |
1003 if skipped: |
1004 return None |
1004 return None |
1005 return ret == 0 |
1005 return ret == 0 |