On Wed, Mar 9, 2022 at 3:21 PM Jim Jagielski <j...@jagunet.com> wrote: > > I've found make extraclean works a bit better
Ah yes great hint, it avoids removing the configure files manually. Thanks!
On Wed, Mar 9, 2022 at 3:21 PM Jim Jagielski <j...@jagunet.com> wrote: > > I've found make extraclean works a bit better
Ah yes great hint, it avoids removing the configure files manually. Thanks!