mirror of https://github.com/CGAL/cgal
Merge pull request #7133 from lrineau/Scripts-run_test_suite_with_ctest__CONFIG_TYPE-GF
Scripts, run_testsuite_with_ctest: CONFIG_TYPE maybe used on other platforms
This commit is contained in:
commit
e4097e8fd9
|
|
@ -296,7 +296,7 @@ run_test_on_platform()
|
||||||
echo "SET(CTEST_CUSTOM_MAXIMUM_FAILED_TEST_OUTPUT_SIZE 1000000000)" >> CTestCustom.cmake
|
echo "SET(CTEST_CUSTOM_MAXIMUM_FAILED_TEST_OUTPUT_SIZE 1000000000)" >> CTestCustom.cmake
|
||||||
|
|
||||||
CTEST_OPTS="-T Start -T Test --timeout 1200 ${DO_NOT_TEST:+-E execution___of__}"
|
CTEST_OPTS="-T Start -T Test --timeout 1200 ${DO_NOT_TEST:+-E execution___of__}"
|
||||||
if uname | grep -q "CYGWIN"; then
|
if [ -n "$CONFIG_TYPE" ]; then
|
||||||
CTEST_OPTS="-C ${CONFIG_TYPE} ${CTEST_OPTS}"
|
CTEST_OPTS="-C ${CONFIG_TYPE} ${CTEST_OPTS}"
|
||||||
fi
|
fi
|
||||||
if [ -z "${SHOW_PROGRESS}" ]; then
|
if [ -z "${SHOW_PROGRESS}" ]; then
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue