diff options
| author | Simon Warta <[email protected]> | 2017-04-01 14:51:44 +0200 |
|---|---|---|
| committer | Simon Warta <[email protected]> | 2017-04-02 21:51:55 +0200 |
| commit | d4a02ac3ccabeb7dfebc62ae855414643b405d3c (patch) | |
| tree | 9304a1e9805c3d030ed137a6f459911d38e3f33b | |
| parent | fad962ace8c8fa09bd5871fc8a50652a8725cf53 (diff) | |
Remomve member `obj_dir` from BuildConfigurationInformation
| -rwxr-xr-x | configure.py | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/configure.py b/configure.py index 3444ee78b..34beec738 100755 --- a/configure.py +++ b/configure.py @@ -111,10 +111,9 @@ class BuildConfigurationInformation(object): def __init__(self, options, modules): self.build_dir = os.path.join(options.with_build_dir, 'build') - self.obj_dir = os.path.join(self.build_dir, 'obj') - self.libobj_dir = os.path.join(self.obj_dir, 'lib') - self.cliobj_dir = os.path.join(self.obj_dir, 'cli') - self.testobj_dir = os.path.join(self.obj_dir, 'test') + self.libobj_dir = os.path.join(self.build_dir, 'obj', 'lib') + self.cliobj_dir = os.path.join(self.build_dir, 'obj', 'cli') + self.testobj_dir = os.path.join(self.build_dir, 'obj', 'test') self.doc_output_dir = os.path.join(self.build_dir, 'docs') self.doc_output_dir_manual = os.path.join(self.doc_output_dir, 'manual') |