diff options
Diffstat (limited to 'autogen.sh')
-rwxr-xr-x | autogen.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh index 6b7c647c4c5..880f21f0fe9 100755 --- a/autogen.sh +++ b/autogen.sh @@ -202,7 +202,8 @@ echo "Your system has the required tools, running autoreconf..." ## Let autoreconf figure out what, if anything, needs doing. -autoreconf -i -I m4 || exit $? +## Use autoreconf's -f option in case autoreconf itself has changed. +autoreconf -f -i -I m4 || exit $? ## Create a timestamp, so that './autogen.sh; make' doesn't ## cause 'make' to needlessly run 'autoheader'. |