From 4357b5a0fd45b372d6cd275bb9728befe28aebb3 Mon Sep 17 00:00:00 2001
From: Joost VandeVondele <Joost.VandeVondele@gmail.com>
Date: Tue, 11 Jul 2023 23:29:04 +0200
Subject: [PATCH] Take 2

---
 server/fishtest/templates/tests_run.mak | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/server/fishtest/templates/tests_run.mak b/server/fishtest/templates/tests_run.mak
index 24426eb36..7432c432f 100644
--- a/server/fishtest/templates/tests_run.mak
+++ b/server/fishtest/templates/tests_run.mak
@@ -724,11 +724,13 @@
         document.getElementById("new_tc").value = new_tc;
         document.getElementById("threads").value = threads;
         document.getElementById("new-options").value = (
+          options + " " +
           document
             .getElementById("new-options")
             .value.replace(/Hash=[0-9]+ ?/, "")
         ).replace(/ $/, "");
         document.getElementById("base-options").value = (
+          options + " " +
           document
             .getElementById("base-options")
             .value.replace(/Hash=[0-9]+ ?/, "")