From cb3fc7285f02355a225305637718223a74657253 Mon Sep 17 00:00:00 2001
From: Killian Delarue <killian.delarue@nomadic-labs.com>
Date: Wed, 10 May 2023 18:41:18 +0200
Subject: [PATCH 1/2] Build: Fix clean-kernels

---
 src/kernel_sequencer/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/kernel_sequencer/Makefile b/src/kernel_sequencer/Makefile
index f62cf93fb37a..7bf1032fa0e3 100644
--- a/src/kernel_sequencer/Makefile
+++ b/src/kernel_sequencer/Makefile
@@ -24,3 +24,7 @@ build-dev-deps:
 .PHONY: test
 test:
 	@cargo test
+
+.PHONY: clean
+clean:
+	@cargo clean
-- 
GitLab


From d85b6f610f9f940fa15b27e3dd8fffdeb3c2c3e2 Mon Sep 17 00:00:00 2001
From: Killian Delarue <killian.delarue@nomadic-labs.com>
Date: Thu, 11 May 2023 09:40:48 +0200
Subject: [PATCH 2/2] Build: Remove clean-kernels from clean

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index ada3cc12c283..680bfef7a293 100644
--- a/Makefile
+++ b/Makefile
@@ -475,7 +475,7 @@ coverage-clean:
 	@-rm -Rf ${COVERAGE_OUTPUT}/*.coverage ${COVERAGE_REPORT}
 
 .PHONY: clean
-clean: coverage-clean clean-old-names clean-kernels
+clean: coverage-clean clean-old-names
 	@-dune clean
 	@-rm -f ${ALL_EXECUTABLES}
 	@-${MAKE} -C docs clean
-- 
GitLab