From 74d5615cdc74d78b81f4b1f3dce73c0fd849dff7 Mon Sep 17 00:00:00 2001
From: Kim Morrison <kim@tqft.net>
Date: Fri, 10 May 2024 10:04:33 +1000
Subject: [PATCH 1/2] chore: update make lint to use lake

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

diff --git a/GNUmakefile b/GNUmakefile
index d0fba7074e..09749c2648 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -19,4 +19,4 @@ test: $(TESTS)
 	lake env lean $(@:.run=.lean)
 
 lint: build
-	./.lake/build/bin/runLinter
+	lake exe runLinter

From df81756bb89c6ba8dcadff36f0773dcbe448d6f1 Mon Sep 17 00:00:00 2001
From: Kim Morrison <kim@tqft.net>
Date: Fri, 10 May 2024 10:15:22 +1000
Subject: [PATCH 2/2] Update GNUmakefile

Co-authored-by: Mac Malone <tydeu@hatpress.net>
---
 GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/GNUmakefile b/GNUmakefile
index 09749c2648..5b95d542f6 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -18,5 +18,5 @@ test: $(TESTS)
 %.run: build
 	lake env lean $(@:.run=.lean)
 
-lint: build
+lint:
 	lake exe runLinter