Update check-commits script

This commit is contained in:
Victor Zverovich 2024-07-17 06:58:37 -07:00
parent 8757f1f8d6
commit 55e76e6c20

View File

@ -28,10 +28,10 @@ with tempfile.TemporaryDirectory() as work_dir:
for commit in commits: for commit in commits:
check_call(['git', '-c', 'advice.detachedHead=false', 'checkout', commit], check_call(['git', '-c', 'advice.detachedHead=false', 'checkout', commit],
cwd=repo_dir) cwd=repo_dir)
return_code = run( returncode = run(
['c++', '-std=c++11', '-O3', '-DNDEBUG', '-I', 'include', ['c++', '-std=c++11', '-O3', '-DNDEBUG', '-I', 'include',
'src/format.cc', os.path.join(cwd, source)], cwd=repo_dir).return_code 'src/format.cc', os.path.join(cwd, source)], cwd=repo_dir).returncode
if return_code != 0: if returncode != 0:
continue continue
times = [] times = []
for i in range(5): for i in range(5):