Re: makemake.in configuration (os--hw) -- what default settings?

[Bruno H. <br...@cl...>]

Sam wrote:
> Of course, I am not opposing the new approach, but rather explaining the
> rationale for the old one.

The old approach was based on two assumptions:
  * When a user encounters a crash, they will report it.
  * Bruno is always available to investigate a crash.

Both assumptions were wrong.

> With the current approach it is quite possible that no one will ever
> bother to check whether the optimizations actually work on a specific
> platform

Yes, it is our task now to check whether the optimizations work. And the
Makefile.devel multibuild-* targets make this quite comfortable (assuming
you have the patience for waiting for ca. 20 builds to complete).

Bruno