diff options
| -rwxr-xr-x | autogen.sh | 4 | ||||
| -rw-r--r-- | changes/autoreconf | 5 |
2 files changed, 9 insertions, 0 deletions
diff --git a/autogen.sh b/autogen.sh index eb9395c719..0592f16c2e 100755 --- a/autogen.sh +++ b/autogen.sh @@ -1,5 +1,9 @@ #!/bin/sh +if [ -x "`which autoreconf 2>/dev/null`" ] ; then + exec autoreconf -ivf +fi + set -e # Run this to generate all the initial makefiles, etc. diff --git a/changes/autoreconf b/changes/autoreconf new file mode 100644 index 0000000000..c08cc7a376 --- /dev/null +++ b/changes/autoreconf @@ -0,0 +1,5 @@ + o Minor build changes: + - Use autoreconf to launch autoconf, automake, etc from autogen.sh. + This is more robust against some of the failure modes associated + with running the autotools chain on its own. + |