Forcefully recreate "configure" when "Version" changes.

When "configure.in" has not changed, autoconf reads the content of "autom4te", which contains the old version number.

Forcefully recreate "configure" when "Version" changes.
When "configure.in" has not changed, autoconf reads the content of "autom4te", which contains the old version number.
08548247 · Guillaume Melquiond · 93c671da · 08548247
Commit 08548247 authored Sep 01, 2014 by Guillaume Melquiond
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Makefile.in Makefile.in +1 -1

No files found.
--- a/Makefile.in
+++ b/Makefile.in
@@ -1872,7 +1872,7 @@ lib/why3/META: lib/why3/META.in config.status
 	./config.status chmod --file $@

 configure: configure.in Version
-	autoconf
+	autoconf -f

 ###################
 # clean and depend