diff options
| -rw-r--r-- | devbot/environ.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/devbot/environ.py b/devbot/environ.py index 512b27d..b441dda 100644 --- a/devbot/environ.py +++ b/devbot/environ.py @@ -8,12 +8,16 @@ def setup(): _setup_variables() def _add_path(name, path): + if not path.endswith("/"): + path = "%s/" % path + if name not in os.environ: os.environ[name] = path return splitted = os.environ[name].split(":") - splitted.insert(0, path) + if path not in splitted: + splitted.insert(0, path) os.environ[name] = ":".join(splitted) |