diff options
| author | dzwdz | 2022-07-08 21:11:10 +0200 |
|---|---|---|
| committer | dzwdz | 2022-07-08 21:11:10 +0200 |
| commit | 1d20df331cb4540bac157ac779d035d189ef669c (patch) | |
| tree | fa8d574ec165bbeea9dc3062a1e20f5fd937f5b0 /Makefile | |
| parent | 2f520b5e0101a3cb9404371e1152affc934e40b2 (diff) | |
kernel/syscalls: fix the SYSCALL_RETURN macro for returning pointers
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -6,6 +6,7 @@ CHECK = sparse CFLAGS += -g -std=gnu99 -ffreestanding -O2 -Wall -Wextra -Wold-style-definition -Werror=implicit-function-declaration -ftrack-macro-expansion=0 CFLAGS += -mgeneral-regs-only CFLAGS += -Isrc/ +SPARSEFLAGS = -Wno-non-pointer-null LFLAGS = -ffreestanding -O2 -nostdlib -lgcc QFLAGS = -no-reboot ifndef QEMU_DISPLAY @@ -45,7 +46,7 @@ lint: @tools/linter/main.rb check: $(shell find src/kernel/ -type f -name *.c) - @echo $^ | xargs -n 1 sparse $(CFLAGS) + @echo $^ | xargs -n 1 sparse $(CFLAGS) $(SPARSEFLAGS) clean: rm -rv out/ |