config.rootdirs = ['.']
t_files = list(findTFiles(config.rootdirs))
print('Found', len(t_files), '.T files...')
t = getTestRun() # type: TestRun
# Avoid cmd.exe built-in 'date' command on Windows
t.start_time = datetime.datetime.now()
print('Beginning test run at', t.start_time.strftime("%c %Z"))
# For reference
try:
print('Detected CPU features: ', cpu_features.get_cpu_features())
except Exception as e:
print('Failed to detect CPU features: ', e)
sys.stdout.flush()
# we output text, which cannot be unbuffered
sys.stdout = os.fdopen(sys.__stdout__.fileno(), "w")
if config.local:
tempdir = ''
else:
# See note [Running tests in /tmp]
tempdir = tempfile.mkdtemp('', 'ghctest-')
# opts.testdir should be quoted when used, to make sure the testsuite
# keeps working when it contains backward slashes, for example from
config.rootdirs = ['.']
t_files = list(findTFiles(config.rootdirs))
print('Found', len(t_files), '.T files...')
t = getTestRun()
# Avoid cmd.exe built-in 'date' command on Windows
t.start_time = time.localtime()
print('Beginning test run at', time.strftime("%c %Z",t.start_time))
# For reference
try:
print('Detected CPU features: ', cpu_features.get_cpu_features())
except Exception as e:
print('Failed to detect CPU features: ', e)
sys.stdout.flush()
# we output text, which cannot be unbuffered
sys.stdout = os.fdopen(sys.__stdout__.fileno(), "w")
if config.local:
tempdir = ''
else:
# See note [Running tests in /tmp]
tempdir = tempfile.mkdtemp('', 'ghctest-')
# opts.testdir should be quoted when used, to make sure the testsuite
# keeps working when it contains backward slashes, for example from
