build: log warning on git too old for --update

This commit is contained in:
Ciro Santilli 六四事件 法轮功
2019-05-14 00:00:07 +00:00
parent 9b6fbb7242
commit 684bc6b908
2 changed files with 8 additions and 0 deletions

View File

@@ -1117,6 +1117,10 @@ lunch aosp_{}-eng
if flush:
sys.stdout.flush()
def log_warn(self, msg):
with self.print_lock:
print('warning: {}'.format(msg), file=sys.stdout)
def is_subpath(self, subpath, parent):
'''
https://stackoverflow.com/questions/3812849/how-to-check-whether-a-directory-is-a-sub-directory-of-another-directory