From e4d9c5f46738d55ce16bb74af624ec9bafa3e5aa Mon Sep 17 00:00:00 2001 From: Tom Alexander Date: Mon, 16 Oct 2023 19:38:45 -0400 Subject: [PATCH] Add makefile command to run clippy through docker. --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Makefile b/Makefile index 465127d..afb961b 100644 --- a/Makefile +++ b/Makefile @@ -37,6 +37,10 @@ clean: format: > $(MAKE) -C docker/cargo_fmt run +.PHONY: dockerclippy +dockerclippy: +> $(MAKE) -C docker/organic_clippy run + .PHONY: clippy clippy: > cargo clippy --no-deps --all-targets --all-features -- -D warnings