927     if options.time:

   927     if options.time:

   928         endtime = time.time()

   928         endtime = time.time()

   929         times.append((test, endtime - starttime))

   929         times.append((test, endtime - starttime))

   930     vlog("# Ret was:", ret)

   930     vlog("# Ret was:", ret)

   931 

   931 

   932     mark = '.'

   934     mark = '.'

   933 

   935 

   934     skipped = (ret == SKIPPED_STATUS)

   936     skipped = (ret == SKIPPED_STATUS)

   935 

   937 

   936     # If we're not in --debug mode and reference output file exists,

   938     # If we're not in --debug mode and reference output file exists,

   997         iolock.acquire()

   999         iolock.acquire()

   998         sys.stdout.write(mark)

  1000         sys.stdout.write(mark)

   999         sys.stdout.flush()

  1001         sys.stdout.flush()

  1000         iolock.release()

  1002         iolock.release()

  1001 

  1003 

  1004     if not options.keep_tmpdir:

  1004     if not options.keep_tmpdir:

  1005         shutil.rmtree(testtmp, True)

  1005         shutil.rmtree(testtmp, True)

  1006     if skipped:

  1006     if skipped:

  1007         return None

  1007         return None

  1008     return ret == 0

  1008     return ret == 0