chore(hax): update the Makefile with upstream (#417)

future-proof-iot · Sep 16, 2024 · ec3e3e9 · ec3e3e9
2 parents 67224d3 + 0121f47
commit ec3e3e9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 7 deletions.
diff --git a/_typos.toml b/_typos.toml
@@ -7,8 +7,4 @@ extint = "extint" # External interrupt
 celcius = "celcius" # Until embedded-aht20 is fixed
 
 [files]
-extend-exclude = [
-  "doc/*.svg",
-  "src/riot-rs-rp/src/cyw43/firmware/README.md",
-  "src/riot-rs-runqueue/proofs/fstar/extraction/Makefile",
-]
+extend-exclude = ["doc/*.svg", "src/riot-rs-rp/src/cyw43/firmware/README.md"]
diff --git a/src/riot-rs-runqueue/proofs/fstar/extraction/Makefile b/src/riot-rs-runqueue/proofs/fstar/extraction/Makefile
@@ -134,9 +134,9 @@ all-keep-going:
 # If $HACL_HOME doesn't exist, clone it
 ${HACL_HOME}:
 	$(Q)mkdir -p "${HACL_HOME}"
-	$(info Clonning Hacl* in ${HACL_HOME}...)
+	$(info Cloning Hacl* in ${HACL_HOME}...)
 	git clone --depth 1 https://github.com/hacl-star/hacl-star.git "${HACL_HOME}"
-	$(info Clonning Hacl* in ${HACL_HOME}... done!)
+	$(info Cloning Hacl* in ${HACL_HOME}... done!)
 
 # If no any F* file is detected, we run hax
 ifeq "$(wildcard *.fst *fsti)" ""