diff options
| author | Jussi Pakkanen <jpakkane@gmail.com> | 2015-07-05 12:46:23 +0300 |
|---|---|---|
| committer | Jussi Pakkanen <jpakkane@gmail.com> | 2015-07-05 12:46:23 +0300 |
| commit | 035602430034325c8f56f369fae401049eb4f867 (patch) | |
| tree | 1c230b6fa42d9c8bdb2455c4b2e64d1bb2a9dbb3 /backends.py | |
| parent | 833cb56f5c5944dc96480104a1852561a0546fe2 (diff) | |
| download | meson-035602430034325c8f56f369fae401049eb4f867.zip meson-035602430034325c8f56f369fae401049eb4f867.tar.gz meson-035602430034325c8f56f369fae401049eb4f867.tar.bz2 | |
Give top level targets unique private directories even if they share a basename with some other top level target.
Diffstat (limited to 'backends.py')
| -rw-r--r-- | backends.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends.py b/backends.py index 8ce73a5..851ed51 100644 --- a/backends.py +++ b/backends.py @@ -71,7 +71,7 @@ class Backend(): return dirname def get_target_private_dir(self, target): - dirname = os.path.join(self.get_target_dir(target), target.get_basename() + '.dir') + dirname = os.path.join(self.get_target_dir(target), target.get_basename() + target.type_suffix()) os.makedirs(os.path.join(self.environment.get_build_dir(), dirname), exist_ok=True) return dirname |