From 6471b8903301081c5a9b6a84f0f6836a0adbd60e Mon Sep 17 00:00:00 2001
From: Paul Gauthier <aider@paulg.org>
Date: Sat, 1 Jul 2023 06:50:13 -0700
Subject: [PATCH] return 0

---
 benchmark/benchmark.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/benchmark/benchmark.py b/benchmark/benchmark.py
index e9d0c4f45..12dc1b1e9 100755
--- a/benchmark/benchmark.py
+++ b/benchmark/benchmark.py
@@ -298,6 +298,8 @@ def main(
     print()
     summarize_results(dirname)
 
+    return 0
+
 
 def summarize_results(dirname):
     res = SimpleNamespace()