From a85dfdefd68aa0d1a3333d16d30bfcdd12db28da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sosth=C3=A8ne=20Gu=C3=A9don?= <sosthene@nitrokey.com>
Date: Thu, 16 Feb 2023 10:48:16 +0100
Subject: [PATCH] makefile: rename check to lint

---
 Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 9e844e4..1050eb3 100644
--- a/Makefile
+++ b/Makefile
@@ -16,8 +16,12 @@ test:
 
 .PHONY: check
 check:
+	RUSTLFAGS='-Dwarnings' cargo check --all-features --all-targets
+
+.PHONY: lint
+lint:
 	cargo fmt --check
-	cargo check --all-targets --all-features
+	RUSTLFAGS='-Dwarnings' cargo check --all-features --all-targets
 	cargo clippy --all-targets --all-features -- -Dwarnings
 	RUSTDOCFLAGS='-Dwarnings' cargo doc --all-features
 	reuse lint
@@ -31,5 +35,5 @@ example:
 	cargo run --example virtual --features virtual 
 	
 .PHONY: ci
-ci: check tarpaulin
+ci: lint tarpaulin