From d61bf212f5aa0cc8fbec496cf49e70ccf3c00873 Mon Sep 17 00:00:00 2001
From: Michael Panzlaff <michael.panzlaff@fau.de>
Date: Mon, 3 Feb 2025 17:02:13 +0100
Subject: [PATCH] Fix 'make -B', don't fail if $(VAR) 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)