From a0fc54936a2dc6fe64e6d5cd1f23398279bc381c Mon Sep 17 00:00:00 2001 From: Nikolay Martynov Date: Wed, 12 Jun 2019 13:31:24 -0400 Subject: [PATCH] Collect more debugging info --- .circleci/collect_reports.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.circleci/collect_reports.sh b/.circleci/collect_reports.sh index 9cb27f8e94..3e7891bd24 100755 --- a/.circleci/collect_reports.sh +++ b/.circleci/collect_reports.sh @@ -19,6 +19,9 @@ function save_reports () { report_path=$REPORTS_DIR/$project_to_save mkdir -p $report_path cp -r workspace/$project_to_save/build/reports/* $report_path/ + cp -r workspace/$project_to_save/build/core* $report_path/ || true + cp -r workspace/$project_to_save/build/hs_err_pid* $report_path/ || true + cp -r workspace/$project_to_save/build/replay* $report_path/ || true } shopt -s globstar