In our builds Mike worked around this issue by running git update-index --refresh after copying any kernel tree. Marc. Marc Herbert's profile photo ...
確定! 回上一頁