From a910c9431fbebbddaecee57cb6dbdeab4ffa27db Mon Sep 17 00:00:00 2001
From: eutro <git@eutro.dev>
Date: Fri, 12 Jan 2024 11:47:40 +0000
Subject: [PATCH] Re-add eutro/tsdnr-barriers branch

---
 config/custom_navajo.json | 5 +++++
 config/custom_turing.json | 6 ++++++
 2 files changed, 11 insertions(+)

diff --git a/config/custom_navajo.json b/config/custom_navajo.json
index 0c1c231..bd4387e 100644
--- a/config/custom_navajo.json
+++ b/config/custom_navajo.json
@@ -8,5 +8,10 @@
     "url": "https://github.com/johan511/ocaml/archive/refs/heads/oldify_races.zip",
     "name": "5.3.0+trunk+gc-alloc-race-fix",
     "expiry": "2024-01-17"
+  },
+  {
+    "url": "https://github.com/eutro/ocaml/archive/refs/heads/tsdnr-barriers.zip",
+    "name": "5.3.0+trunk+eutro+barriers",
+    "expiry": "2024-03-19"
   }
 ]
diff --git a/config/custom_turing.json b/config/custom_turing.json
index 8ad594d..10b030e 100644
--- a/config/custom_turing.json
+++ b/config/custom_turing.json
@@ -10,5 +10,11 @@
     "name": "5.3.0+trunk+gc-alloc-race-fix",
     "configure": "CC='gcc -Wa,-mbranches-within-32B' AS='as -mbranches-within-32B'",
     "expiry": "2024-01-17"
+  },
+  {
+    "url": "https://github.com/eutro/ocaml/archive/refs/heads/tsdnr-barriers.zip",
+    "name": "5.3.0+trunk+eutro+barriers",
+    "configure": "CC='gcc -Wa,-mbranches-within-32B' AS='as -mbranches-within-32B'",
+    "expiry": "2024-03-19"
   }
 ]