From 91a55240dedbb0c42dc24c8e460f0d57aae18a8d Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@inria.fr>
Date: Thu, 9 Jul 2026 15:44:15 +0200
Subject: [PATCH] Do not use -noinsertarraycopy

---
 build-common/Makefile.common         | 2 +-
 oldsrc-should-delete/Makefile.common | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-common/Makefile.common b/build-common/Makefile.common
index d458a2a6..ff7a0254 100644
--- a/build-common/Makefile.common
+++ b/build-common/Makefile.common
@@ -83,7 +83,7 @@ endif
 JASMIN ?= jasminc
 
 JEXT ?= jazz
-override JFLAGS += -stack-zero loopSCT -noinsertarraycopy
+override JFLAGS += -stack-zero loopSCT
 JINCLUDE ?= -I formosa25519=$(SRC)
 
 JASMIN_COMPILE = ($(JASMIN) $(JFLAGS) $(JINCLUDE) -o $@ $<) $(CI_CMD)
diff --git a/oldsrc-should-delete/Makefile.common b/oldsrc-should-delete/Makefile.common
index 3ad9d8c8..75a4c56f 100644
--- a/oldsrc-should-delete/Makefile.common
+++ b/oldsrc-should-delete/Makefile.common
@@ -33,7 +33,7 @@ endif
 
 # --------------------------------------------------------------------
 JEXT    ?= jazz
-override JFLAGS += -noinsertarraycopy $(addprefix -slice ,$(FUNCTIONS))
+override JFLAGS += $(addprefix -slice ,$(FUNCTIONS))
 JINCLUDE = -I Jade=$(SRC)
 
 JASMIN  ?= jasminc