From fffd37f1680664bf055d8f5603ed1967718a6492 Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Tue, 20 Jun 2023 20:38:18 +0200
Subject: build: remove the old "linter"

It was a good idea, but it didn't even work. 0/10
Maybe I should replace it with semgrep someday.

For the only current rule, I can split src/kernel/ into src/kernel/{amd64,generic},
and just don't have amd64 in generic's include path.
---
 Makefile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 85cc7a3..586f401 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,6 @@ PATH   := $(shell pwd)/toolchain/prefix/bin/:$(PATH)
 AR      = x86_64-camellia-ar
 AS      = x86_64-camellia-as
 CC      = x86_64-camellia-gcc
-CHECK   = sparse
 
 CFLAGS += -g -std=gnu99 -O2 -ftrack-macro-expansion=0
 CFLAGS += -Wall -Wextra -Wold-style-definition -Werror=implicit-function-declaration
@@ -38,7 +37,7 @@ define from_sources
 endef
 
 
-.PHONY: all portdeps boot lint check clean
+.PHONY: all portdeps boot check clean
 all: portdeps out/boot.iso check
 portdeps: out/libc.a out/libm.a src/user/lib/include/__errno.h
 
@@ -62,7 +61,6 @@ test: all
 
 check: $(shell find src/kernel/ -type f -name *.c)
 	@echo $^ | xargs -n 1 sparse $(SPARSEFLAGS)
-	@tools/linter/main.rb
 
 clean:
 	rm -rf out/
-- 
cgit v1.2.3