Remove an unneeded command-line option.

This commit is contained in:
Dan Gohman
2018-08-01 12:16:26 -07:00
parent f89cb1df64
commit 63e87895eb

View File

@@ -71,7 +71,7 @@ cargo doc
# Run clippy if we have it.
banner "Rust linter"
if "$topdir/check-clippy.sh"; then
"$topdir/clippy-all.sh" --write-mode=diff
"$topdir/clippy-all.sh"
else
echo "\`cargo +nightly install clippy\` for optional rust linting"
fi