Force regeneration of autotools stuff in autogen.sh

As suggested in PR #469.

Co-authored-by: Enrico Sorichetti <enricosorichetti@mac.com>

diff --git a/autogen.sh b/autogen.sh
index 709b60534d19acaa91a0f5d5d3e651dbec5440f2..da120f9426cc0d1d3a4d0be21047950f6095165e 100755 (executable)
--- a/autogen.sh
+++ b/autogen.sh
@@ -15,6 +15,6 @@ EOF
     exit 1
 fi
 
-autoheader
-autoconf
+autoheader -f
+autoconf -f
 echo "Now run ./configure and make"