diff options
Diffstat (limited to 'scripts/config.py')
-rw-r--r-- | scripts/config.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/config.py b/scripts/config.py index b9ccb19..0d7a1b8 100644 --- a/scripts/config.py +++ b/scripts/config.py @@ -65,7 +65,9 @@ class Config(jhbuild.config.Config): self.moduleset.append(os.path.join(path, moduleset)) def setup_env(self): - self.prefix = os.path.join(self._base_dir, 'install') + # Hack to replace the default prefix + if self.prefix == '/opt/gnome2': + self.prefix = os.path.join(self._base_dir, 'install') jhbuild.config.Config.setup_env(self) |