# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1676737163 18000
# Node ID 943ccaed4bb486af52ae422506dce50b7986f647
# Parent  a1b74219141f5c40e1811d95ead4977865982137
temporarily redirect jwe-debian-x86_64-1 to -4

diff -r a1b74219141f -r 943ccaed4bb4 master.cfg
--- a/master.cfg	Mon Feb 06 13:59:14 2023 -0500
+++ b/master.cfg	Sat Feb 18 11:19:23 2023 -0500
@@ -116,8 +116,9 @@
 from buildbot.schedulers.forcesched import ForceScheduler
 from buildbot.schedulers import timed
 
-## Builds below that are tagged with jwe-debian-x86_64-5 are currently
-## running on jwe-debian-x86_64-4 instead.
+## Builds below that are tagged with jwe-debian-x86_64-1 and
+## jwe-debian-x86_64-5 are currently running on jwe-debian-x86_64-4
+## instead.
 
 all_default_octave_builders = [];
 all_default_octave_builders.append ("gcc-debian") # jwe-debian-x86_64-5
@@ -606,11 +607,11 @@
 #                                     factory = mk_clang_3_9_factory (19, "-j2", "default")))
 
 c["builders"].append (BuilderConfig (name = "clang-debian",
-                                     workernames = ["jwe-debian-x86_64-1"],
+                                     workernames = ["jwe-debian-x86_64-4"],
                                      factory = mk_clang_factory (19, "-j8", "default")))
 
 c["builders"].append (BuilderConfig (name = "stable-clang-debian",
-                                     workernames = ["jwe-debian-x86_64-1"],
+                                     workernames = ["jwe-debian-x86_64-4"],
                                      factory = mk_clang_factory (19, "-j8", "stable")))
 
 c["builders"].append (BuilderConfig (name = "clang-fedora",