From 1d20df331cb4540bac157ac779d035d189ef669c Mon Sep 17 00:00:00 2001 From: dzwdz Date: Fri, 8 Jul 2022 21:11:10 +0200 Subject: kernel/syscalls: fix the SYSCALL_RETURN macro for returning pointers --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index bf0f1f6..98397ca 100644 --- a/Makefile +++ b/Makefile @@ -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/ -- cgit v1.2.3