From c4f8c006c4a6a274f139cfdada3b2964bfeecc04 Mon Sep 17 00:00:00 2001
From: cladmi <gaetan.harter@fu-berlin.de>
Date: Wed, 22 Aug 2018 16:07:52 +0200
Subject: [PATCH] pkg/jerryscript: use 'make -f' instead of copying makefile

---
 pkg/jerryscript/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/pkg/jerryscript/Makefile b/pkg/jerryscript/Makefile
index 86aa22fcc0..8bc5c8c2e4 100644
--- a/pkg/jerryscript/Makefile
+++ b/pkg/jerryscript/Makefile
@@ -13,7 +13,6 @@ export CFLAGS += -Wno-macro-redefined -Wno-gnu-folding-constant
 endif
 
 all: git-download
-	@cp Makefile.jerryscript $(PKG_BUILDDIR)/Makefile
-	"$(MAKE)" -C $(PKG_BUILDDIR) all
+	"$(MAKE)" -C $(PKG_BUILDDIR) -f $(CURDIR)/Makefile.jerryscript all
 
 include $(RIOTBASE)/pkg/pkg.mk
-- 
GitLab