diff options
| -rw-r--r-- | rrs/tools/common.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/rrs/tools/common.py b/rrs/tools/common.py index 5922ce9ee9..ee72d97297 100644 --- a/rrs/tools/common.py +++ b/rrs/tools/common.py @@ -26,3 +26,14 @@ def update_repo(fetchdir, repo_name, repo_url, pull, logger): out = utils.runcmd("git fetch", path, logger = logger) return path + +def get_pv_type(pv): + pv_type = '' + if '+git' in pv: + pv_type = 'git' + elif '+svn' in pv: + pv_type = 'svn' + elif '+hg' in pv: + pv_type = 'hg' + + return pv_type |