WIP: mbed-tools for real this time

JerryScript-DCO-1.0-Signed-off-by: Máté Tokodi mate.tokodi@szteszoftver.hu
matetokodi · Dec 13, 2023 · 2758027 · 2758027
1 parent cbbebe0
commit 2758027
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/targets/os/mbedos/Makefile b/targets/os/mbedos/Makefile
@@ -61,8 +61,7 @@ flash: .mbed-set-flash-flag .build
 
 .PHONY: .mbed-build
 .mbed-build:
-	mbed-tools configure -G MBED_OS_DIR $(MBED_OS_DIR)
-	mbed-tools compile $(strip $(MBED_CLI_FLAGS))
+	mbed-tools compile --toolchain GCC_ARM --mbed-target K64F --mbed-os-path $(MBED_OS_DIR)
 
 .PHONY: .mbedignore-copy
 .mbedignore-copy: