Re: CML2 0.7.1 is available

From: esr@thyrsus.com
Date: Fri Jul 21 2000 - 16:36:32 EST


Dunlap, Randy <randy.dunlap@intel.com>:
> 1. Curses mode, first (help/info) screen:
>
> Press enter or up-arrow or down-arrow or Enter to stop editing
> a field. [duplicated 'enter/Enter']

This will be fixed in 0.7.3.
 
> 2. I can't seem to load a defconfig from a saved file by
> using -idefconfig on the command line or by using the 'i'
> command. Using the 'i' command says that 158 symbols were
> changed, but I can't see that any were changed when I
> look at the Buses or USB menus.
> Is this supposed to be working?

This is, in fact, supposed to be working. I will test it thoroughly
and fix it if it's broken.

> 3. If I set USB support to <M> (modules) in the Buses
> section, and then enter the USB support menu, I can
> set individual options to Y, so they are not restricted
> (bounded) by the overall USB support option (as they
> are in menuconfig and xconfig). Is this intentional
> or an oversight?

Intentional, if the subordinate symbol is a boolean rather than a
trit-valued symbol. There is discussion of the reasons for this in
the reference manual.

> Also, setting individual USB options to Y changes
> "USB support" from M to Y. This is backwards from
> menuconfig/xconfig and I don't think that it's
> desirable.

This is also intentional. In general, when a symbol is changed,
the theorem prover in the runtime has to change all its prerequisites.

What behavior would you prefer?

-- 
		<a href="http://www.tuxedo.org/~esr">Eric S. Raymond</a>

As with the Christian religion, the worst advertisement for Socialism is its adherents. -- George Orwell

- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Sun Jul 23 2000 - 21:00:16 EST