From 21b97a1e1bcf25ae3baf8d1dc1d548810a70e2cd Mon Sep 17 00:00:00 2001 From: Fabio Zadrozny Date: Mon, 11 Nov 2024 08:09:41 -0300 Subject: [PATCH] Fix dev.py --- rootproject/dev.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/rootproject/dev.py b/rootproject/dev.py index e61281ec5b..ad3fa9bdf0 100644 --- a/rootproject/dev.py +++ b/rootproject/dev.py @@ -53,7 +53,7 @@ def _cmd(batch_commands:str, cwd=None, env=None): print(batch_commands) try: subprocess.run( - ["cmd", "/c", batch_file_path], input=b"\n", check=True, cwd=cwd, env=env + ["cmd", "/c", batch_file_path], input=b"\n", check=True, cwd=cwd, env=use_env ) finally: os.remove(batch_file_path) @@ -62,7 +62,7 @@ def _cmd(batch_commands:str, cwd=None, env=None): print(batch_commands) try: args = ['bash', batch_file_path] - subprocess.run(args, input=b"\n", check=True, cwd=cwd, env=env) + subprocess.run(args, input=b"\n", check=True, cwd=cwd, env=use_env) except: print("Failed running: " + subprocess.list2cmdline(args), file=sys.stderr) finally: @@ -193,7 +193,6 @@ def build_pydev_in_build_dir(pydevd_binaries='true'): if sys.platform == 'win32': contents = rf''' -@echo off git clone {BASE_LOCAL_PYDEV_GIT} cd Pydev git reset --hard