| Index: mojo/tools/mopy/paths.py
|
| diff --git a/mojo/tools/mopy/paths.py b/mojo/tools/mopy/paths.py
|
| index 2ad3726c200b288b05cd22049098a9d7c6baabe1..8ace770979a86a1293c80aa5da3684e5e9d94185 100644
|
| --- a/mojo/tools/mopy/paths.py
|
| +++ b/mojo/tools/mopy/paths.py
|
| @@ -13,7 +13,8 @@ class Paths(object):
|
| os.pardir, os.pardir, os.pardir, os.pardir))
|
| self.mojo_dir = os.path.join(self.src_root, "mojo")
|
| if build_directory:
|
| - self.mojo_shell_path = os.path.join(self.src_root, build_directory,
|
| - "mojo_shell")
|
| + self.build_dir = os.path.join(self.src_root, build_directory)
|
| + self.mojo_shell_path = os.path.join(self.build_dir, "mojo_shell")
|
| else:
|
| + self.build_dir = None
|
| self.mojo_shell_path = None
|
|
|