Collect more debugging info
@@ -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
