diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-28 01:47:32 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-28 01:47:32 (GMT) |
commit | c7749aeaeafa217c838b65a3848548647aa06e89 (patch) | |
tree | ef62915b71e5b4578f1ea60970276e23689615d4 /devbot/config.py | |
parent | 224ef97c568300385392e3ca6bf52048dd8a106d (diff) |
Generalize a bit how the test command is run
We should be able to use the same logic for other services.
Diffstat (limited to 'devbot/config.py')
-rw-r--r-- | devbot/config.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devbot/config.py b/devbot/config.py index 7b9978c..a264ccb 100644 --- a/devbot/config.py +++ b/devbot/config.py @@ -18,6 +18,7 @@ lib_dir = None share_dir = None bin_dir = None etc_dir = None +libexec_dir = None home_dir = None dep_files = None module_files = None @@ -113,6 +114,7 @@ def set_install_dir(dir, relocatable=False): global bin_dir global etc_dir global lib_dir + global libexec_dir install_dir = dir _ensure_dir(install_dir) @@ -125,6 +127,7 @@ def set_install_dir(dir, relocatable=False): bin_dir = os.path.join(prefix_dir, "bin") etc_dir = os.path.join(prefix_dir, "etc") + libexec_dir = os.path.join(prefix_dir, "libexec") if distro.get_distro_info().use_lib64: lib_dir = os.path.join(prefix_dir, "lib64") |