Skip to content

Commit

Permalink
chore(script): make clippy --features sp1,risc0,sgx
Browse files Browse the repository at this point in the history
  • Loading branch information
keroro520 committed Nov 25, 2024
1 parent d6dbc9e commit bcf888b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion script/build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,7 @@ fi
# NATIVE
if [ -z "$1" ] || [ "$1" == "native" ]; then
if [ -n "${CLIPPY}" ]; then
cargo clippy -F ${TASKDB} -- -D warnings
cargo clippy -F ${TASKDB} --features sp1,risc0,sgx -- -D warnings
elif [ -z "${RUN}" ]; then
if [ -z "${TEST}" ]; then
echo "Building native prover"
Expand Down

0 comments on commit bcf888b

Please sign in to comment.