diff options
-rwxr-xr-x | gki/download_from_ci | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gki/download_from_ci b/gki/download_from_ci index 76b5700c..ca504d49 100755 --- a/gki/download_from_ci +++ b/gki/download_from_ci @@ -757,9 +757,10 @@ def update_microdroid_kernel(): clean_download_dir(directory) download_kernel("kernel_microdroid_" + arch_suffix, version, directory) write_prebuilt_info(directory) - (new_version, new_sha) = get_binary_kernel_version(kernel) - gitlog = get_git_log(old_sha, new_sha) - commit_prebuilts(directory, gitlog) + + (_, new_sha) = get_binary_kernel_version(kernel) + gitlog = get_git_log(old_sha, new_sha) + commit_prebuilts(base_dir, gitlog) def main(): |