# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1697205072 14400
# Node ID 5fac866c52dd748383d0379bef756437601c39bb
# Parent  404117389b5acca17416c73f4cdd59bc1e5985db
fix think-o in previous change

diff -r 404117389b5a -r 5fac866c52dd master.cfg
--- a/master.cfg	Fri Oct 13 09:48:01 2023 -0400
+++ b/master.cfg	Fri Oct 13 09:51:12 2023 -0400
@@ -567,7 +567,7 @@
 
 c["builders"].append (BuilderConfig (name = "gcc-debian",
                                      workernames = ["jwe-debian-x86_64-4"],
-                                     factory = mk_gcc_factory (19, [], "-j16", "default")))
+                                     factory = mk_gcc_factory (19, "-j16", "default")))
 
 c["builders"].append (BuilderConfig (name = "gcc-debian-qt5",
                                      workernames = ["jwe-debian-x86_64-5"],