diff --git a/builds/runtimes/python-3.1.5 b/builds/runtimes/python-3.1.5 index f538d93c445df51c31369a5688e36ac5fb726aa0..2a74e789856d586f8a513aa0c744d5bcf9d3a2e7 100755 --- a/builds/runtimes/python-3.1.5 +++ b/builds/runtimes/python-3.1.5 @@ -4,12 +4,10 @@ OUT_PREFIX=$1 -echo "Building Python..." -SOURCE_TARBALL='http://python.org/ftp/python/3.1.5/Python-3.1.5.tgz' -curl -L $SOURCE_TARBALL | tar xz -mv Python-3.1.5 src -cd src +source ./download_python +download_python "3.1.5" +cd src ./configure --prefix=$OUT_PREFIX --enable-shared make make install