diff scripts/optimization/__all_opts__.m @ 11249:6cd1e62b6616

fix internal sorting in __all_opts__ (bug 31392)
author Jaroslav Hajek <highegg@gmail.com>
date Sun, 14 Nov 2010 22:01:20 +0100
parents 7d48766c21a5
children fd0a3ac60b0e
line wrap: on
line diff
--- a/scripts/optimization/__all_opts__.m	Sat Nov 13 01:29:10 2010 -0500
+++ b/scripts/optimization/__all_opts__.m	Sun Nov 14 22:01:20 2010 +0100
@@ -54,10 +54,12 @@
       end_try_catch
     endfor
     names = unique (names);
-    lnames = unique (tolower (names));
+    [lnames, idx] = unique (tolower (names));
     if (length (lnames) < length (names))
       ## This is bad.
       error ("__all_opts__: duplicate options with inconsistent case");
+    else
+      names = names(idx);
     endif
     saved_names = names;
     recursive = false;