changeset 22:f2bc3b633414

eliminate duplicate config flags in no-extras builder
author John W. Eaton <jwe@octave.org>
date Fri, 12 Jun 2020 13:47:53 +0000
parents 58667d78ead7
children 0e1fc3eea4d0
files master.cfg
diffstat 1 files changed, 0 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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"]