fix(test/lean/run_tests): ensure the directory exist, do not fail wit…

…h 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 <[email protected]>
rems-project · Jan 13, 2025 · 7b15019 · 7b15019
1 parent 707f53d
commit 7b15019
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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))