[PATCH] Re: reconfigured configure arg

[Joseph Myers]

On Wed, 12 Sep 2018, Jakub Jelinek wrote:

> Would the following minimal patch be acceptable, which just doesn't append
> the " : (reconfigured) " + arguments if the configure arguments already end
> with exactly that?
> 
> Bootstrapped/regtested on x86_64-linux and i686-linux, plus tested with
> ./config.status --recheck done the first time after configure (reconfigured
> added) and second and following time (not added).  Ok for trunk?

OK.

-- 
Joseph S. Myers
joseph@codesourcery.com