diff --git a/build.py b/build.py index 1c874d08e..090d32dc7 100755 --- a/build.py +++ b/build.py @@ -509,6 +509,7 @@ def clippy_cli(): for triple in build_abis.values(): cmds[3] = triple run_cargo(cmds) + run_cargo(cmds + ["--release"]) os.chdir(Path("..", ".."))