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 /gentree.py | |
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 'gentree.py')
-rwxr-xr-x | gentree.py | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -9,8 +9,8 @@ import argparse, sys, os, errno, shutil, re, subprocess source_dir = os.path.abspath(os.path.dirname(__file__)) sys.path.append(source_dir) # and import libraries we have -from lib import kconfig, git, patch, make - +from lib import kconfig, patch, make +from lib import bpgit as git def read_copy_list(copyfile): """ |