From bc8dbc6b1ab1f9a9064c7353f80f0a4f5a560b32 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 23 Apr 2021 14:44:33 +0200
Subject: [PATCH] bash: fix build error with gcc 10

Fixes #4107
---
 repos/ports/src/noux-pkg/bash/target.inc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/ports/src/noux-pkg/bash/target.inc b/repos/ports/src/noux-pkg/bash/target.inc
index 7a6b1bee4e..c09f2bc07f 100644
--- a/repos/ports/src/noux-pkg/bash/target.inc
+++ b/repos/ports/src/noux-pkg/bash/target.inc
@@ -19,4 +19,7 @@ CFLAGS += -DNO_MAIN_ENV_ARG=1
 # Prevent interactions with nonexisting tty driver
 CFLAGS += -DNO_TTY_DRIVER
 
+# Prevent link error with GCC 10, which defaults to -fno-common
+CFLAGS += -fcommon
+
 include $(call select_from_repositories,mk/noux.mk)