Minor changes

[skip ci]
This commit is contained in:
topjohnwu 2025-03-22 01:16:51 -07:00
parent 1e3edb8883
commit a396abf565
2 changed files with 7 additions and 5 deletions

View File

@ -505,9 +505,10 @@ def build_all():
def clippy_cli(): def clippy_cli():
args.force_out = True args.force_out = True
os.chdir(Path("native", "src")) os.chdir(Path("native", "src"))
cmds = ["clippy", "--no-deps", "--target", ""] cmds = ["clippy", "--no-deps"]
for triple in build_abis.values(): for triple in build_abis.values():
cmds[3] = triple cmds.append("--target")
cmds.append(triple)
run_cargo(cmds) run_cargo(cmds)
run_cargo(cmds + ["--release"]) run_cargo(cmds + ["--release"])
os.chdir(Path("..", "..")) os.chdir(Path("..", ".."))

View File

@ -60,3 +60,4 @@ opt-level = "z"
lto = "fat" lto = "fat"
codegen-units = 1 codegen-units = 1
panic = "abort" panic = "abort"
strip = false