Default to running with clippy

Signed-off-by: Nick Spinale <nick@nickspinale.com>
seL4 · Oct 30, 2024 · 0c1348c · 0c1348c
1 parent 464b534
commit 0c1348c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -16,6 +16,8 @@ ifneq ($(C),)
 	cores_args := --cores $(C)
 endif
 
+CLIPPY ?= 1
+
 ifeq ($(CLIPPY),1)
 	nix_clippy_attr_prefix := withClippy.
 endif