# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1591969673 0
# Node ID f2bc3b63341497e564113e164162faf7bf7a1d00
# Parent  58667d78ead740252f145df395c5b3cd7fa71033
eliminate duplicate config flags in no-extras builder

diff -r 58667d78ead7 -r f2bc3b633414 master.cfg
--- a/master.cfg	Sat Jun 06 13:49:52 2020 +0200
+++ b/master.cfg	Fri Jun 12 13:47:53 2020 +0000
@@ -498,10 +498,8 @@
              "--without-qscintilla",
              "--without-qt",
              "--without-sndfile",
-             "--without-sundials-ida",
              "--without-sundials_ida",
              "--without-sundials_nvecserial",
-             "--without-sundials_nvecserial",
              "--without-umfpack",
              "--without-x",
              "--without-z"]