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 jos...@codesourcery.com