diff --git a/Scripts/developer_scripts/run_testsuite_with_ctest b/Scripts/developer_scripts/run_testsuite_with_ctest index 9b89f708048..0f70ef28454 100644 --- a/Scripts/developer_scripts/run_testsuite_with_ctest +++ b/Scripts/developer_scripts/run_testsuite_with_ctest @@ -225,6 +225,7 @@ collect_demos_binaries() echo "pushd ${demo_dir}" pushd "${demo_dir}" bash ${DEMOS_TEST_DIR}/cgal_demo_copy_all_dlls_cygwin.sh "${demo_dir}_with_dlls" "${CONFIG_TYPE}" + mv "${demo_dir}_with_dlls" ${DEMOS_TEST_DIR} popd done