diff options
| -rwxr-xr-x | configure.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/configure.py b/configure.py index 921d1c27f..d2824a456 100755 --- a/configure.py +++ b/configure.py @@ -114,8 +114,10 @@ class BuildConfigurationInformation(object): self.version_vc_rev = get_vc_revision() self.build_dir = os.path.join(options.with_build_dir, 'build') - self.appobj_dir = os.path.join(self.build_dir, 'app') - self.libobj_dir = os.path.join(self.build_dir, 'lib') + + self.obj_dir = os.path.join(self.build_dir, 'obj') + self.appobj_dir = os.path.join(self.obj_dir, 'app') + self.libobj_dir = os.path.join(self.obj_dir, 'lib') self.doc_output_dir = os.path.join(self.build_dir, 'docs') |