@@ -3,8 +3,8 @@ objcopy(
deps=[
"//sys/src/9/amd64:harvey"
],
- in="elf64-x86-64",
- out="elf32-i386",
+ infile="elf64-x86-64",
+ outfile="elf32-i386",
)
kernel(
name="kernel",