From ec14622cb13ec0e46dcd34e1a7248eec8837dc0c Mon Sep 17 00:00:00 2001 From: Jan Jongboom Date: Tue, 17 Jan 2017 14:55:23 +0100 Subject: [PATCH] target: mbedos5: Change to debug profiles (#1531) In mbed OS 5.3 (which we target with JerryScript on mbed) we change the way debug builds are created. This patch changes the Makefile in JerryScript to reflect this. JerryScript-DCO-1.0-Signed-off-by: Jan Jongboom janjongboom@gmail.com --- targets/mbedos5/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/targets/mbedos5/Makefile b/targets/mbedos5/Makefile index 4e0b5d67a..dce65768a 100644 --- a/targets/mbedos5/Makefile +++ b/targets/mbedos5/Makefile @@ -39,7 +39,7 @@ MBED_CLI_FLAGS += --build $(EXTERN_BUILD_DIR) endif ifeq ($(DEBUG), 1) -MBED_CLI_FLAGS += -o debug-info +MBED_CLI_FLAGS += --profile ./mbed-os/tools/profiles/debug.json endif ifeq ($(MBED_VERBOSE), 1)