From e8086be768535bbd84dd0c0d30bb5388718286f1 Mon Sep 17 00:00:00 2001
From: Sebastian Bauer <mail@sebastianbauer.info>
Date: Tue, 10 Apr 2018 23:17:08 +0200
Subject: [PATCH] Disable -Wunused-label.

There are a lot of unused lables, depending on the actual
compiling mode.
---
 library/GNUmakefile.os4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/GNUmakefile.os4 b/library/GNUmakefile.os4
index 80c5e62..7c1c154 100644
--- a/library/GNUmakefile.os4
+++ b/library/GNUmakefile.os4
@@ -59,7 +59,7 @@ LOG_COMMAND :=
 WARNINGS := \
 	-Wall -W -Wpointer-arith -Wsign-compare -Wmissing-prototypes \
 	-Wundef -Wmissing-declarations -Wunused -Wwrite-strings \
-	-Wno-deprecated-declarations \
+	-Wno-deprecated-declarations -Wno-unused-label \
 
 #	-Wconversion -Wshadow -Wbad-function-cast