diff options
author | Johannes Berg <johannes.berg@intel.com> | 2013-05-08 09:40:50 +0200 |
---|---|---|
committer | Johannes Berg <johannes.berg@intel.com> | 2013-05-08 09:45:01 +0200 |
commit | b0b3200b9489c2629686c367c1344055a5316e77 (patch) | |
tree | 898576804ea095078c8548de8448136c7c9f7709 /devel | |
parent | fa6c4f66802adbdd3fb159f39664bb9eee6d9871 (diff) |
python support: rename git library to bpgit
There's a python git library, and our name conflicts
with it since it's also just called "git". I want to
use the python library (optionally) to speed up the
git accesses so this is now relevant.
Signed-off-by: Johannes Berg <johannes.berg@intel.com>
Diffstat (limited to 'devel')
-rwxr-xr-x | devel/git-tracker.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devel/git-tracker.py b/devel/git-tracker.py index 9edc95cf..b74105ab 100755 --- a/devel/git-tracker.py +++ b/devel/git-tracker.py @@ -20,7 +20,8 @@ source_dir = os.path.dirname(source_dir) # add parent directory to path to get to lib/ sys.path.append(source_dir) # import libraries we need -from lib import git, tempdir +from lib import tempdir +from lib import bpgit as git import gentree # you can increase this if you really want ... |