Revert "Collect more debugging info"

This reverts commit a0fc54936a.
This commit is contained in:
Nikolay Martynov 2019-06-14 11:18:17 -04:00
parent 3ce3c7c8c5
commit f37e4a2ec2
1 changed files with 0 additions and 3 deletions

View File

@ -19,9 +19,6 @@ function save_reports () {
report_path=$REPORTS_DIR/$project_to_save report_path=$REPORTS_DIR/$project_to_save
mkdir -p $report_path mkdir -p $report_path
cp -r workspace/$project_to_save/build/reports/* $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 shopt -s globstar