diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-24 22:51:41 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-24 22:51:41 (GMT) |
commit | c1613f76159e98ebd449ef557dbb9705bbf55b97 (patch) | |
tree | 78329120f2094717534bcb38be53ee6fab5da6ea /devbot/build.py | |
parent | bd52a0b9840d30e46fc43a435c97497d6b7d1b2a (diff) |
Create build and source dir on demand
Otherwise they are created in the snapshot
Diffstat (limited to 'devbot/build.py')
-rw-r--r-- | devbot/build.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devbot/build.py b/devbot/build.py index ca0bc07..de9e59a 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -66,7 +66,7 @@ def pull_source(module): command.run(["git", "remote", "set-url", "origin", module.repo]) command.run(["git", "remote", "update", "origin"], retry=10) else: - os.chdir(config.source_dir) + os.chdir(config.get_source_dir()) command.run(["git", "clone", "--progress", module.repo, module.name], retry=10) @@ -160,7 +160,7 @@ def build(): def clean(): rmtree(config.install_dir) rmtree(config.prefix_dir) - rmtree(config.build_dir) + rmtree(config.get_build_dir()) for module in config.load_modules(): if not module.out_of_source: |