Small update

diff --git a/config_files/JOBMANAGER.sh b/config_files/JOBMANAGER.sh
index 92a47d5beb1d3fdce061e8f34b765fafd134046f..4e5d618a84fe4f9f4e01d7cbf53ba4bd0f6abf8f 100755 (executable)
--- a/config_files/JOBMANAGER.sh
+++ b/config_files/JOBMANAGER.sh
@@ -77,7 +77,7 @@ install_source
 cd ${PRODUCT_SRC_DIR}
 test -z ${SINGLE_DIR} && makedir ${PRODUCT_DIR} || mkdir -p ${PRODUCT_DIR}
 
-check_job ${PRODUCT_DIR}/MAKE.LOG ./setup.py install --prefix=${PRODUCT_DIR}
+check_job ${PRODUCT_DIR}/MAKE.LOG python ./setup.py install --prefix=${PRODUCT_DIR}
 
 cd ${PRODUCT_DIR};