diff options
| -rwxr-xr-x | install_with_python.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/install_with_python.sh b/install_with_python.sh index d7ae55da12..5d3beaa962 100755 --- a/install_with_python.sh +++ b/install_with_python.sh @@ -36,6 +36,9 @@ if ! test -d $PREFIX/python; then do_install_python fi +PYTHON=$PREFIX/python/bin/python +export PYTHON + `dirname $0`/configure --prefix=$PREFIX $@ || exit 1 make -j || exit 1 make install || exit 1 |