From 0121f471d610b6a6ceef9319a24241948979b174 Mon Sep 17 00:00:00 2001
From: ROMemories <152802150+ROMemories@users.noreply.github.com>
Date: Mon, 16 Sep 2024 11:48:31 +0200
Subject: [PATCH] chore(hax): update the Makefile with upstream

Updated to
https://gist.github.com/W95Psp/4c304132a1f85c5af4e4959dd6b356c3/e071b98e8b2fb39916b33533aeac319ddc3d7bbe
---
 _typos.toml                                           | 6 +-----
 src/riot-rs-runqueue/proofs/fstar/extraction/Makefile | 4 ++--
 2 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/_typos.toml b/_typos.toml
index 9418f48b6..196046328 100644
--- 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
index 263320e1e..a78d974b2 100644
--- 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)" ""