Index: third_party/mojo/src/mojo/public/tools/download_shell_binary.py |
diff --git a/third_party/mojo/src/mojo/public/tools/download_shell_binary.py b/third_party/mojo/src/mojo/public/tools/download_shell_binary.py |
index 512e3a6a77cf02fff3004f21375e7e3d38e7de56..c8f0f401ebe95abea26db53ce746f12fce1d7750 100755 |
--- a/third_party/mojo/src/mojo/public/tools/download_shell_binary.py |
+++ b/third_party/mojo/src/mojo/public/tools/download_shell_binary.py |
@@ -26,10 +26,10 @@ import gs |
PREBUILT_FILE_PATH = os.path.join(CURRENT_PATH, "prebuilt", "shell") |
-def download(tools_directory): |
+def download(tools_directory, version_file): |
stamp_path = os.path.join(PREBUILT_FILE_PATH, "VERSION") |
- version_path = os.path.join(CURRENT_PATH, "../VERSION") |
+ version_path = os.path.join(CURRENT_PATH, version_file) |
with open(version_path) as version_file: |
version = version_file.read().strip() |
@@ -81,8 +81,17 @@ def main(): |
help="Path to the directory containing " |
"find_depot_tools.py, specified as a relative path " |
"from the location of this file.") |
+ parser.add_argument("--version-file", |
+ dest="version_file", |
+ metavar="<version-file>", |
+ type=str, |
+ default="../VERSION", |
+ help="Path to the file containing the version of the " |
+ "shell to be fetched, specified as a relative path " |
+ "from the location of this file (default: " |
+ "%(default)s).") |
args = parser.parse_args() |
- return download(args.tools_directory) |
+ return download(args.tools_directory, args.version_file) |
if __name__ == "__main__": |
sys.exit(main()) |