# HG changeset patch
# User wolma
# Date 1461924029 14400
# Node ID 5e5653b689ca78292f0640dfff99587180134898
# Parent  87b8dcebce9b5d0be1d04483b0ad96e0b5d5d9f8
Uploaded

diff -r 87b8dcebce9b -r 5e5653b689ca tool_dependencies.xml
--- a/tool_dependencies.xml	Fri Apr 29 04:20:06 2016 -0400
+++ b/tool_dependencies.xml	Fri Apr 29 06:00:29 2016 -0400
@@ -46,9 +46,12 @@
           unset PYTHONPATH
           unset PYTHONHOME
 
-          ./configure --prefix="$INSTALL_DIR" --without-ensurepip \
-          && make \
-          && make install
+          echo "Python3 installation: preparing to install ..." \
+          && ./configure -q --prefix="$INSTALL_DIR" --without-ensurepip \
+          && echo "Python3 installation: entering build process ..." \
+          && make -s \
+          && echo "Python3 installation: installing ..." \
+          && make -s install
         </action>
 
         <action type="set_environment">