mirror of
https://github.com/zama-ai/tfhe-rs.git
synced 2026-01-08 06:13:58 -05:00
chore: make fpcc actually kind of fast
- fix install_typos.sh script
This commit is contained in:
committed by
IceTDrinker
parent
4da1e19d5c
commit
8888c046de
2
Makefile
2
Makefile
@@ -1871,8 +1871,6 @@ fpcc:
|
|||||||
$(call run_recipe_with_details,check_md_docs_are_tested)
|
$(call run_recipe_with_details,check_md_docs_are_tested)
|
||||||
$(call run_recipe_with_details,check_intra_md_links)
|
$(call run_recipe_with_details,check_intra_md_links)
|
||||||
$(call run_recipe_with_details,check_doc_paths_use_dash)
|
$(call run_recipe_with_details,check_doc_paths_use_dash)
|
||||||
$(call run_recipe_with_details,clippy_fast)
|
|
||||||
$(call run_recipe_with_details,check_compile_tests)
|
|
||||||
|
|
||||||
.PHONY: conformance # Automatically fix problems that can be fixed
|
.PHONY: conformance # Automatically fix problems that can be fixed
|
||||||
conformance: fix_newline fmt fmt_js
|
conformance: fix_newline fmt fmt_js
|
||||||
|
|||||||
@@ -36,7 +36,7 @@ do
|
|||||||
done
|
done
|
||||||
|
|
||||||
if [[ "${rust_toolchain::1}" != "+" ]]; then
|
if [[ "${rust_toolchain::1}" != "+" ]]; then
|
||||||
rust_toolchain=${rust_toolchain:"+${rust_toolchain}"}
|
rust_toolchain=${rust_toolchain:+"+${rust_toolchain}"}
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if ! which typos ; then
|
if ! which typos ; then
|
||||||
|
|||||||
Reference in New Issue
Block a user