diff options
| author | dzwdz | 2021-07-10 20:10:37 +0200 |
|---|---|---|
| committer | dzwdz | 2021-07-10 20:10:37 +0200 |
| commit | 2c3de0bdb63f933fecf7cf717396a16a29e38e10 (patch) | |
| tree | dde96841cb6d086beccb77a90a80d0efd4ff51d2 /Makefile | |
| parent | a90f613e50b1677b03d19793039e0769a09caf9f (diff) | |
implement a basic linter
Currently it just checks if the kernel doesn't accidentally use
arch-dependent headers.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -30,7 +30,7 @@ out/obj/%.c.o: src/%.c $(CC) $(CFLAGS) -c $^ -o $@ -.PHONY: boot debug clean +.PHONY: boot debug lint clean boot: out/fs/boot/kernel.bin qemu-system-i386 -kernel $< $(QFLAGS) -no-shutdown @@ -39,5 +39,8 @@ debug: out/fs/boot/kernel.bin sleep 1 gdb +lint: + @tools/linter/main.rb + clean: rm -rv out/ |