1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-24 22:13:52 +01:00

pkg/jerryscript: build directory does not need to exist with -B

This commit is contained in:
cladmi 2018-08-22 18:05:16 +02:00 committed by Gaëtan Harter
parent d55ae9c7f9
commit 097575117c
No known key found for this signature in database
GPG Key ID: 76DF6BCF1B1F883B

View File

@ -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)" \