diff options
author | David Ostrovsky <david@ostrovsky.org> | 2017-08-30 09:03:20 +0200 |
---|---|---|
committer | David Ostrovsky <david@ostrovsky.org> | 2019-11-03 23:28:55 +0100 |
commit | 262a4da88f131f8302d6f77f49b5e077abd9a11a (patch) | |
tree | daf5868a925e400526c106f271e5241b4236ed6c | |
parent | 4cdd7f7d86f682c481480c75032cd9b47eface66 (diff) |
Bazel: Portable way to guess whether root directory is reached
Change-Id: I582aca7d9ba8a8b17e6d54580490f242dfe0926d
(cherry picked from commit e89717db20a364b6f8ad9d3614280a32ef70b844)
-rwxr-xr-x | tools/download_file.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/download_file.py b/tools/download_file.py index b705c1158d..26671f0f20 100755 --- a/tools/download_file.py +++ b/tools/download_file.py @@ -84,7 +84,7 @@ opts.add_option('--unsign', action='store_true') args, _ = opts.parse_args() root_dir = args.o -while root_dir and root_dir != "/": +while root_dir and path.dirname(root_dir) != root_dir: root_dir, n = path.split(root_dir) if n == 'WORKSPACE': break |