Re: New build process?

From:

Eli Zaretskii

Subject:

Re: New build process?

Date:

Thu, 28 Jul 2011 06:06:43 -0400

> Date: Wed, 27 Jul 2011 13:27:31 -0700
> From: Paul Eggert <address@hidden>
> CC: Tim Cross <address@hidden>, address@hidden,
> address@hidden, address@hidden, address@hidden
>
> To help move in that direction, I installed the following patch.
> It assumes GNU Make, but that's a reasonable assumption these
> days for developers. Developers who insist on using non-GNU "make"
> can use "./autogen.sh; ./configure; make" as before.
>
> If there are any problems with this, please feel free to back it out
> or improve it.
It works, at least for me, thanks. It also indirectly solves
bug#9106, so it can be closed now.
(There will be a need for a minor change in the DOS config.bat script,
to avoid running GNUMakefile on DOS, but that's trivial.)