From d23dd0cdb40752fae6cd5baa48ed69d010bcccc5 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Thu, 16 Mar 2017 14:13:44 +0100
Subject: [PATCH] init: workaround for GCC 6 compile errors

Issue #2374
---
 repos/os/src/init/target.mk | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/os/src/init/target.mk b/repos/os/src/init/target.mk
index f425894995..0bbfa4c59c 100644
--- a/repos/os/src/init/target.mk
+++ b/repos/os/src/init/target.mk
@@ -2,3 +2,6 @@ TARGET   = init
 SRC_CC   = main.cc child.cc server.cc
 LIBS     = base
 INC_DIR += $(PRG_DIR)
+
+# workaround for constness issues
+CC_OPT  += -fpermissive