diff options
Diffstat (limited to 'scripts/test/shared.py')
| -rw-r--r-- | scripts/test/shared.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/test/shared.py b/scripts/test/shared.py index ace68c3ee..4d2cb21b4 100644 --- a/scripts/test/shared.py +++ b/scripts/test/shared.py @@ -155,7 +155,13 @@ def which(program): if is_exe(program): return program else: - for path in os.environ["PATH"].split(os.pathsep): + paths = [ + # Prefer tools installed using third_party/setup.py + os.path.join(options.binaryen_root, 'third_party', 'mozjs'), + os.path.join(options.binaryen_root, 'third_party', 'v8'), + os.path.join(options.binaryen_root, 'third_party', 'wabt', 'bin') + ] + os.environ['PATH'].split(os.pathsep) + for path in paths: path = path.strip('"') exe_file = os.path.join(path, program) if is_exe(exe_file): |