diff options
| author | dzwdz | 2023-01-25 01:02:04 +0100 |
|---|---|---|
| committer | dzwdz | 2023-01-25 01:04:49 +0100 |
| commit | 2a2fc4dffe0117ce874a6cf1dcc34321ed8add77 (patch) | |
| tree | af1e24f72241dbbff97797b9e186f7d27b5b54b4 /Makefile | |
| parent | 52e7fe3c679469032e77a5ca4adf19618ba1201b (diff) | |
kernel/virt: replace the virt_cpy api with a more foolproof one
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ CHECK = sparse CFLAGS += -g -std=gnu99 -ffreestanding -O2 -ftrack-macro-expansion=0 CFLAGS += -Wall -Wextra -Wold-style-definition -Werror=implicit-function-declaration -CFLAGS += -Wno-address-of-packed-member +CFLAGS += -Wno-address-of-packed-member -Werror=incompatible-pointer-types CFLAGS += -Isrc/ -Isrc/shared/include/ KERNEL_CFLAGS = $(CFLAGS) -mno-sse -mgeneral-regs-only |