From 55e76e6c20e80c4cb329e596b6a4c0aad6c324ad Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Wed, 17 Jul 2024 06:58:37 -0700 Subject: [PATCH] Update check-commits script --- support/check-commits | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/support/check-commits b/support/check-commits index 81fde9fe..11472d41 100755 --- a/support/check-commits +++ b/support/check-commits @@ -28,10 +28,10 @@ with tempfile.TemporaryDirectory() as work_dir: for commit in commits: check_call(['git', '-c', 'advice.detachedHead=false', 'checkout', commit], cwd=repo_dir) - return_code = run( + returncode = run( ['c++', '-std=c++11', '-O3', '-DNDEBUG', '-I', 'include', - 'src/format.cc', os.path.join(cwd, source)], cwd=repo_dir).return_code - if return_code != 0: + 'src/format.cc', os.path.join(cwd, source)], cwd=repo_dir).returncode + if returncode != 0: continue times = [] for i in range(5):