Re: Speeding up config.status

[Tom Tromey]

>>>>> "Vaclav" == Vaclav Barta <address@hidden> writes:

Vaclav> OK, this may be a stupid question, but do all makes have include?

In our experience, most do.  However, syntax differs.  But we could
use inclusion by copying in those cases where make doesn't support
`include'.  Using `cat' will be fast.

Tom