mirror of https://github.com/CGAL/cgal
When SHOW_PROGRESS is non-null, the direction of localtestscript and
localbuildscript were wrong: the stderr output was not reported in the log files.
This commit is contained in:
parent
017772877c
commit
d832c0bcac
|
|
@ -536,7 +536,7 @@ EOF
|
||||||
fi
|
fi
|
||||||
chmod ugo+x "${CGAL_BINARY_DIR}/localbuildscript"
|
chmod ugo+x "${CGAL_BINARY_DIR}/localbuildscript"
|
||||||
if [ -n "${SHOW_PROGRESS}" ]; then
|
if [ -n "${SHOW_PROGRESS}" ]; then
|
||||||
remote_command ${HOST} "${CGAL_BINARY_DIR}/localbuildscript" | tee "${ACTUAL_LOGFILE}.build.${PLATFORM}" 2>&1
|
remote_command ${HOST} "${CGAL_BINARY_DIR}/localbuildscript" 2>&1 | tee "${ACTUAL_LOGFILE}.build.${PLATFORM}"
|
||||||
else
|
else
|
||||||
remote_command ${HOST} "${CGAL_BINARY_DIR}/localbuildscript" > "${ACTUAL_LOGFILE}.build.${PLATFORM}" 2>&1
|
remote_command ${HOST} "${CGAL_BINARY_DIR}/localbuildscript" > "${ACTUAL_LOGFILE}.build.${PLATFORM}" 2>&1
|
||||||
fi
|
fi
|
||||||
|
|
@ -676,7 +676,7 @@ EOF
|
||||||
chmod ugo+x "${CGAL_BINARY_DIR}"/localtestscript*
|
chmod ugo+x "${CGAL_BINARY_DIR}"/localtestscript*
|
||||||
|
|
||||||
if [ -n "${SHOW_PROGRESS}" ]; then
|
if [ -n "${SHOW_PROGRESS}" ]; then
|
||||||
remote_command ${HOST} "${CGAL_BINARY_DIR}/localtestscript" | tee "${ACTUAL_LOGFILE}.test.${PLATFORM}" 2>&1
|
remote_command ${HOST} "${CGAL_BINARY_DIR}/localtestscript" 2>&1 | tee "${ACTUAL_LOGFILE}.test.${PLATFORM}"
|
||||||
else
|
else
|
||||||
remote_command ${HOST} "${CGAL_BINARY_DIR}/localtestscript" > "${ACTUAL_LOGFILE}.test.${PLATFORM}" 2>&1
|
remote_command ${HOST} "${CGAL_BINARY_DIR}/localtestscript" > "${ACTUAL_LOGFILE}.test.${PLATFORM}" 2>&1
|
||||||
fi
|
fi
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue