Re: clisp/src makemake.in,1.559,1.560 ChangeLog,1.4687,1.4688

[Sam S. <sd...@gn...>]

> * Bruno Haible <un...@hf...> [2005-06-07 11:12:26 +0000]:
>
> Ignore --with-module=... options for modules that are already
> contained in BASE_MODULES.

silently ignoring user input is wrong.

there should be either a warning
      "module FOO is in BASE_MODULES, see http://..."
or the module should be removed from BASE_MODULES and added to MODULES
(also with a warning).

-- 
Sam Steingold (http://www.podval.org/~sds) running w2k
<http://www.jihadwatch.org/> <http://www.iris.org.il>
<http://www.openvotingconsortium.org/> <http://pmw.org.il/>
There are 10 kinds of people: those who count in binary and those who do not.