diff --git a/Scripts/developer_scripts/autotest_cgal b/Scripts/developer_scripts/autotest_cgal index 1011ec9b181..2690daf32e2 100755 --- a/Scripts/developer_scripts/autotest_cgal +++ b/Scripts/developer_scripts/autotest_cgal @@ -116,7 +116,7 @@ put_on_web() $CURL --upload-file ${1} --user anonymous:${MAIL_ADDRESS} \ ftp://${FTP_SERVER}/${FTP_STORE_DIR}/${2} >> ${ACTUAL_LOGFILE} 2>&1 else - $FTP $FTP_OPTS $FTP_SERVER >> ${ACTUAL_LOGFILE} 2>&1 <> ${ACTUAL_LOGFILE} 2>&1 <> ${ACTUAL_LOGFILE} 2>&1 else for j in `value_of BUILD_ON_${1}`; do remote_command ${1} \ - "cd ${CGAL_DIR}; + "cd ${CGAL_DIR}; export MAKEFLAGS=${MAKEFLAGS}; ${CGAL_DIR}/install_cgal --CGAL_DIR ${CGAL_DIR} --rebuild ${j}" \ >> ${ACTUAL_LOGFILE} 2>&1 done