diff options
Diffstat (limited to 'bootstrap.conf')
-rw-r--r-- | bootstrap.conf | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bootstrap.conf b/bootstrap.conf index 361217c31..b6692e01f 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -113,3 +113,10 @@ if [ -z "$help" ]; then #make -C doc/texinfo -f maint.mk fi +bootstrap_epilogue() { + # Install a ltmain.sh version that fixes the two libtool issues we've + # encountered. + # See http://gray.gnu.org.ua/public/ltbug for details. + set -e + (cd build-aux && rm ltmain.sh && ln -s ../mu-aux/ltmain.sh) +} |