mirror of
https://gitlab.com/libeigen/eigen.git
synced 2026-04-10 11:34:33 +08:00
49 lines
1.1 KiB
Bash
Executable File
49 lines
1.1 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
set -x
|
|
|
|
# Enter build directory.
|
|
rootdir=`pwd`
|
|
cd ${EIGEN_CI_BUILDDIR}
|
|
|
|
target=""
|
|
if [[ ${EIGEN_CI_CTEST_REGEX} ]]; then
|
|
target="-R ${EIGEN_CI_CTEST_REGEX}"
|
|
elif [[ ${EIGEN_CI_CTEST_LABEL} ]]; then
|
|
target="-L ${EIGEN_CI_CTEST_LABEL}"
|
|
fi
|
|
|
|
exclude=""
|
|
if [[ -n "${EIGEN_CI_CTEST_EXCLUDE}" ]]; then
|
|
exclude="-E ${EIGEN_CI_CTEST_EXCLUDE}"
|
|
fi
|
|
|
|
set +x
|
|
|
|
EIGEN_CI_CTEST_PARALLEL=${EIGEN_CI_CTEST_PARALLEL:-${NPROC}}
|
|
EIGEN_CI_CTEST_REPEAT=${EIGEN_CI_CTEST_REPEAT:-3}
|
|
ctest_cmd="ctest ${EIGEN_CI_CTEST_ARGS} --parallel ${EIGEN_CI_CTEST_PARALLEL} --output-on-failure --no-compress-output --no-tests=error --build-noclean ${target} ${exclude}"
|
|
|
|
echo "Running initial tests..."
|
|
if ${ctest_cmd} -T test; then
|
|
echo "Tests passed on the first attempt."
|
|
exit_code=$?
|
|
else
|
|
echo "Initial tests failed with exit code $?. Retrying up to ${EIGEN_CI_CTEST_REPEAT} times..."
|
|
if ${ctest_cmd} --rerun-failed --repeat until-pass:${EIGEN_CI_CTEST_REPEAT}; then
|
|
echo "Tests passed on retry."
|
|
exit_code=42
|
|
else
|
|
exit_code=$?
|
|
fi
|
|
fi
|
|
|
|
set -x
|
|
|
|
# Return to root directory.
|
|
cd ${rootdir}
|
|
|
|
set +x
|
|
|
|
exit $exit_code
|