On Wed, 12 Oct 2022 08:07:35 GMT, Magnus Ihse Bursie wrote:
> Sometimes, the configure script is not called directly, but indirectly, using
> e.g. a wrapper script. This happens for instance in the case of using jib.sh.
>
> In such cases, calling "make reconfigure" will not re-execute the origi
On Wed, 12 Oct 2022 08:07:35 GMT, Magnus Ihse Bursie wrote:
> Sometimes, the configure script is not called directly, but indirectly, using
> e.g. a wrapper script. This happens for instance in the case of using jib.sh.
>
> In such cases, calling "make reconfigure" will not re-execute the origi