diff options
| author | dzwdz | 2023-06-20 20:38:18 +0200 |
|---|---|---|
| committer | dzwdz | 2023-06-20 20:38:18 +0200 |
| commit | fffd37f1680664bf055d8f5603ed1967718a6492 (patch) | |
| tree | eb10273e5ae3f46d2769888f1449ee89cf4257b6 /Makefile | |
| parent | a607ebac400857534582f0f50f0817ecc81812a6 (diff) | |
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.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -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/ |