-
Enhancement
-
Resolution: Fixed
-
P3
-
20
-
b20
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 original wrapper script. This can result in subtle bugs.
Instead, make a way to save the original command line from a wrapper script, and use that instead when running "make reconfigure".
In such cases, calling "make reconfigure" will not re-execute the original wrapper script. This can result in subtle bugs.
Instead, make a way to save the original command line from a wrapper script, and use that instead when running "make reconfigure".