WIP: mbed-tools

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