[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