From d0ba1fb3ca226147089cd27e52ec2818af0d2531 Mon Sep 17 00:00:00 2001 From: John Bampton Date: Sat, 17 Sep 2022 23:23:35 +1000 Subject: [PATCH] Fix Makefile. Change `lint` to `check` --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 984cf04ff..088479498 100644 --- a/Makefile +++ b/Makefile @@ -16,4 +16,4 @@ clean : check : pre-commit run --all-files -.PHONY : lint +.PHONY : check