From 29d60b9ddb01695fa2259a541693a166e5368863 Mon Sep 17 00:00:00 2001
From: Paul Gauthier <aider@paulg.org>
Date: Tue, 27 Jun 2023 07:52:48 -0700
Subject: [PATCH] check for dirname on --clean

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

diff --git a/benchmark/benchmark.py b/benchmark/benchmark.py
index 53441badc..ec0871a2a 100755
--- a/benchmark/benchmark.py
+++ b/benchmark/benchmark.py
@@ -63,6 +63,10 @@ def main(
     if len(dirname.parts) == 1:
         dirname = BENCHMARK_DNAME / dirname
 
+    if clean and not dirname.exists():
+        print(f"--clean requires that {dirname} exists")
+        return
+
     now = datetime.datetime.now()
     now = now.strftime("%Y-%m-%d-%H-%M--")