From 7b1501966bed612ec695e08f26c455e257ab0604 Mon Sep 17 00:00:00 2001
From: Raito Bezarius <masterancpp@gmail.com>
Date: Mon, 13 Jan 2025 15:32:13 +0100
Subject: [PATCH] fix(test/lean/run_tests): ensure the directory exist, do not
 fail with EEXIST

If the directory already exist, it's fine, no need to fail with EEXIST.

This fixes the situation where the bug already exist.

Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
---
 test/lean/run_tests.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/lean/run_tests.py b/test/lean/run_tests.py
index 8b140c16f..83d41c234 100755
--- a/test/lean/run_tests.py
+++ b/test/lean/run_tests.py
@@ -26,7 +26,7 @@ def test_lean():
             basename = os.path.splitext(os.path.basename(filename))[0]
             tests[filename] = os.fork()
             if tests[filename] == 0:
-                step('mkdir {}'.format(basename))
+                step('mkdir -p {}'.format(basename))
                 step('\'{}\' {} --lean --lean-output-dir {}'.format(sail, filename, basename))
                 step('diff {}/out/Out.lean {}.expected.lean'.format(basename, basename))
                 step('rm -r {}'.format(basename))