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 |