[MPlayer-dev-eng] [PATCH] run configure from make if changed
Joey Parrish
joey at nicewarrior.org
Thu Nov 4 06:07:45 CET 2004
On Wed, Nov 03, 2004 at 10:33:26PM -0500, D Richard Felker III wrote:
> On Wed, Nov 03, 2004 at 07:49:47PM +0100, Carl Fûrstenberg wrote:
> > instead och saying that you have to run configure again, it runs
> > configure with the arguments given at last configure. Perhaps you have
> > a better way to do it, but I havn't found it yet.
>
> no, this is very bad.
I'm in favor of the first part. I've often wanted the configure command
line arguments to be saved somewhere for me. And I agree with you that
Makefile should not run configure again.
--Joey
--
"You think without your internal dialog, and I have red socks." --Prem
More information about the MPlayer-dev-eng
mailing list