rename id folder

This commit is contained in:
Jaume Bellet 2023-12-04 23:21:12 +01:00
parent 8e4a46918d
commit 3ac4ce6476
2 changed files with 1 additions and 1 deletions

View File

@ -96,7 +96,7 @@ if __name__ == "__main__":
call([git_command, "apply", tmp_file])
call([wget_command, MB_0013_BIN, "-O", tmp_file2])
call([cmake,"-E","xf", tmp_file])
call(["cmake","-E","tar", "xf", tmp_file2])
call([wget_command, MB_0014, "-O", tmp_file])
call([git_command, "apply", tmp_file])