diff options
| author | tp6vup54 <genius091612@gmail.com> | 2016-08-22 23:32:02 +0800 |
|---|---|---|
| committer | tp6vup54 <genius091612@gmail.com> | 2016-08-22 23:32:02 +0800 |
| commit | 55af3e3c2791a587448c1cb9000dd915dd3322db (patch) | |
| tree | 2dc04902167319046dd4ef3460adec0bb32fa2b6 /python/servo/command_base.py | |
| parent | 91cee66fe890b283b380142f2c3a076fed2b1024 (diff) | |
| download | servo-55af3e3c2791a587448c1cb9000dd915dd3322db.tar.gz servo-55af3e3c2791a587448c1cb9000dd915dd3322db.zip | |
Change the separator used in rust path into os.path.join
Diffstat (limited to 'python/servo/command_base.py')
| -rw-r--r-- | python/servo/command_base.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index 4b9f22fc376..821f7553312 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -286,9 +286,9 @@ class CommandBase(object): def rust_path(self): version = self.rust_version() if self._use_stable_rust: - return "%s/rustc-%s-%s" % (version, version, host_triple()) + return os.path.join(version, "rustc-%s-%s" % (version, host_triple())) else: - return "%s/rustc-nightly-%s" % (version, host_triple()) + return os.path.join(version, "rustc-nightly-%s" % (host_triple())) def rust_version(self): if self._rust_version is None or self._use_stable_rust != self._rust_version_is_stable: |