From a32677d4a669fca1fa0b0f17ab44493691e53272 Mon Sep 17 00:00:00 2001
From: Bruno LATHUILIERE <bruno.lathuiliere@edf.fr>
Date: Fri, 16 Feb 2024 17:47:37 +0100
Subject: [PATCH] add fma_arm64 patch to CI

---
 travis.mk                                          | 1 +
 valgrind.arm64_fma.diff => valgrind.fma_arm64.diff | 0
 2 files changed, 1 insertion(+)
 rename valgrind.arm64_fma.diff => valgrind.fma_arm64.diff (100%)

diff --git a/travis.mk b/travis.mk
index e65eb93e..0f89878a 100644
--- a/travis.mk
+++ b/travis.mk
@@ -8,6 +8,7 @@ patch-valgrind:
 	cd ../valgrind+verrou && patch -p1 <verrou/valgrind.diff
 	cd ../valgrind+verrou && patch -p1 <verrou/valgrind.arm64.diff
 	cd ../valgrind+verrou && patch -p1 <verrou/valgrind.fma_amd64.diff
+	cd ../valgrind+verrou && patch -p1 <verrou/valgrind.fma.arm64.diff
 
 patch-error:
 	cd ../valgrind+verrou && find . -name '*.rej' | xargs tail -n+1
diff --git a/valgrind.arm64_fma.diff b/valgrind.fma_arm64.diff
similarity index 100%
rename from valgrind.arm64_fma.diff
rename to valgrind.fma_arm64.diff