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()