use --enabled-shared in python install script

this makes the build much smaller, and fixes a problem on 'tridge' in
the build farm

diff --git a/install_python.fns b/install_python.fns
index d44b999c4aeeff50637fe272cdc77627deccfa1d..d3c4d6445099560ec22f1183a1565b2a4707ebba 100644 (file)
--- a/install_python.fns
+++ b/install_python.fns
@@ -14,7 +14,7 @@ do_install_python() {
        rm -rf $VERSION || exit 1
        tar -xf $VERSION.tar || exit 1
        cd $VERSION || exit 1
-       ./configure --prefix=$HOME/python --disable-ipv6 || exit 1
+       ./configure --prefix=$HOME/python --disable-ipv6 --enable-shared || exit 1
        make || exit 1
        make install || exit 1
        cd ../.. || exit 1