diff --git a/compile_single_file b/compile_single_file index 33c23c69e3..9a6468ba21 100755 --- a/compile_single_file +++ b/compile_single_file @@ -5,4 +5,4 @@ base_dir=$(dirname "$0") -PYTHONDONTWRITEBYTECODE=1 exec python3 -u "$base_dir/compile_single_file.py" "$@" +PYTHONDONTWRITEBYTECODE=1 exec vpython3 -u "$base_dir/compile_single_file.py" "$@" diff --git a/compile_single_file.bat b/compile_single_file.bat index 598f9f2217..b85bc6fc09 100644 --- a/compile_single_file.bat +++ b/compile_single_file.bat @@ -8,4 +8,4 @@ setlocal :: standalone, but allow other PATH manipulations to take priority. set PATH=%PATH%;%~dp0 -python3 -u "%~dp0compile_single_file.py" %* +vpython3 -u "%~dp0compile_single_file.py" %* diff --git a/compile_single_file.py b/compile_single_file.py index d1974006d5..6ddd84fb56 100644 --- a/compile_single_file.py +++ b/compile_single_file.py @@ -58,7 +58,7 @@ def main(): carets = '^^' command = [ - 'python3', + sys.executable, os.path.join(DEPOT_TOOLS_DIR, 'autoninja.py'), '-C', abs_build_dir, '%s%s' % (src_relpath, carets) ]