Skip to content
Snippets Groups Projects
Commit 8acbb3bd authored by Giovanni Bussi's avatar Giovanni Bussi
Browse files

Added automatic reconfigure

This should call ./configure again if ./configure itself has changed,
of if Makefile.conf.in has changed.

It should make more robust the switching between branches with
changes in these files.

The procedure has been adapteb from:
https://www.gnu.org/software/autoconf/manual/autoconf-2.69/html_node/Automatic-Remaking.html#Automatic-Remaking
parent 4e10e038
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment