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