WIP: try path

JerryScript-DCO-1.0-Signed-off-by: Máté Tokodi mate.tokodi@szteszoftver.hu
matetokodi · Dec 13, 2023 · 5eea266 · 5eea266
1 parent bb8a11f
commit 5eea266
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/targets/os/mbedos/Makefile b/targets/os/mbedos/Makefile
@@ -59,10 +59,9 @@ flash: .mbed-set-flash-flag .build
 .PHONY: .build
 .build: .mbedignore-copy .mbed-build .mbedignore-remove
 
-.ONESHELL:
 .PHONY: .mbed-build
 .mbed-build:
-	. ../../../../venv/bin/activate
+	$PATH=$PATH:$HOME/.local/bin
 	mbed config -G MBED_OS_DIR $(MBED_OS_DIR)
 	mbed compile $(strip $(MBED_CLI_FLAGS))
 

diff --git a/targets/os/mbedos/Makefile.travis b/targets/os/mbedos/Makefile.travis
@@ -26,8 +26,6 @@ install-mbedos:
 
 # Deploy Mbed and install Mbed Python dependencies.
 install-mbedos-deps:
-	python3 -m venv ../venv
-	. ../venv/bin/activate
 	pip3 install --upgrade pip
 	pip3 install mbed-tools
 	pip3 install -r ../mbed-os/requirements.txt