From 2bd7c8d51e25324cc61d0c1fc3c83045d701a99b Mon Sep 17 00:00:00 2001
From: Michael Panzlaff <michael.panzlaff@fau.de>
Date: Mon, 3 Feb 2025 16:52:50 +0100
Subject: [PATCH] Fix 'make -B'

Do not raise an error, if the directory already exists.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 52f0d39..dd33827 100644
--- a/Makefile
+++ b/Makefile
@@ -82,7 +82,7 @@ tags:
 	@ctags -R
 
 $(VAR):
-	@mkdir $(VAR)
+	@mkdir -p $(VAR)
 
 config.json:
 	$(info ===>  Initialize config.json file)