From 097575117c9232bc09771b4423879b242fa0cc0c Mon Sep 17 00:00:00 2001
From: cladmi <gaetan.harter@fu-berlin.de>
Date: Wed, 22 Aug 2018 18:05:16 +0200
Subject: [PATCH] pkg/jerryscript: build directory does not need to exist with
 -B

---
 pkg/jerryscript/Makefile.jerryscript | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pkg/jerryscript/Makefile.jerryscript b/pkg/jerryscript/Makefile.jerryscript
index 2d30d9c95a..8e252c26b5 100644
--- a/pkg/jerryscript/Makefile.jerryscript
+++ b/pkg/jerryscript/Makefile.jerryscript
@@ -13,7 +13,6 @@ endif
 all: libjerry
 
 libjerry:
-	mkdir -p $(BUILD_DIR)
 	cmake -B$(BUILD_DIR) -H./ \
 	 -DCMAKE_SYSTEM_NAME=RIOT \
 	 -DCMAKE_SYSTEM_PROCESSOR="$(MCPU)" \
-- 
GitLab