From 382371d9e40fb8c999593c14c311c83d14e605b8 Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Tue, 14 May 2019 17:20:52 +0200 Subject: [PATCH] nova: remove '-Wabi' compiler option Fixes #3351 --- repos/base-nova/src/kernel/nova/target.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base-nova/src/kernel/nova/target.mk b/repos/base-nova/src/kernel/nova/target.mk index 4bc5cc7449..2e0b84fffd 100644 --- a/repos/base-nova/src/kernel/nova/target.mk +++ b/repos/base-nova/src/kernel/nova/target.mk @@ -12,7 +12,7 @@ CC_WARN = -Wall -Wextra -Waggregate-return -Wcast-align -Wcast-qual \ -Wconversion -Wdisabled-optimization -Wformat=2 \ -Wmissing-format-attribute -Wmissing-noreturn -Wpacked \ -Wpointer-arith -Wredundant-decls -Wshadow -Wwrite-strings \ - -Wabi -Wctor-dtor-privacy -Wno-non-virtual-dtor \ + -Wctor-dtor-privacy -Wno-non-virtual-dtor \ -Wold-style-cast -Woverloaded-virtual -Wsign-promo \ -Wlogical-op -Wstrict-null-sentinel \ -Wstrict-overflow=5 -Wvolatile-register-var