From 5b88efa4196063623dbb76848f64c4e99bc9ca4c Mon Sep 17 00:00:00 2001
From: Martine Lenders <m.lenders@fu-berlin.de>
Date: Mon, 25 Oct 2021 12:34:19 +0200
Subject: [PATCH] pkg/hacl: make compilable with GCC 11

---
 pkg/hacl/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkg/hacl/Makefile b/pkg/hacl/Makefile
index 9154f20a21..5b0aa39a40 100644
--- a/pkg/hacl/Makefile
+++ b/pkg/hacl/Makefile
@@ -7,7 +7,7 @@ PKG_LICENSE=MIT
 
 include $(RIOTBASE)/pkg/pkg.mk
 
-CFLAGS += -DKRML_NOUINT128 -Wno-unused-parameter
+CFLAGS += -DKRML_NOUINT128 -Wno-unused-parameter -Wno-array-parameter
 
 all:
 	$(QQ)"$(MAKE)" -C $(PKG_SOURCE_DIR) -f $(RIOTBASE)/Makefile.base