diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-24 16:40:08 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-24 16:40:08 (GMT) |
commit | 1a4c87bafe4bd1e62bfc0353f0be3486efd837c1 (patch) | |
tree | fc3dd2ffbbae4e11aa8b990d0c08a76abc350cc7 /devbot/autoinstall.py | |
parent | e8b3bdcb34e62c2cd371fe67562e753d4d4a6a16 (diff) |
Properly distinguish between prefix and install dir
Diffstat (limited to 'devbot/autoinstall.py')
-rwxr-xr-x | devbot/autoinstall.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devbot/autoinstall.py b/devbot/autoinstall.py index bb0e469..053262e 100755 --- a/devbot/autoinstall.py +++ b/devbot/autoinstall.py @@ -27,8 +27,8 @@ def _install(module, file): for variable in makefile: if variable.endswith("_PYTHON"): dir_variable = "%sdir" % variable.replace("_PYTHON", "") - install_dir = makefile[dir_variable] - shutil.copy(file.get_path(), install_dir) + prefix_dir = makefile[dir_variable] + shutil.copy(file.get_path(), prefix_dir) def _changed_cb(monitor, file, other_file, event_flags, module): if event_flags == Gio.FileMonitorEvent.CHANGED: |