diff --git a/scripts/dbginfo.sh b/scripts/dbginfo.sh index ae3f5f1f..5c8ccc00 100755 --- a/scripts/dbginfo.sh +++ b/scripts/dbginfo.sh @@ -1192,6 +1192,10 @@ post_processing() { rm -f "${file_name}" fi done + + echo "log work directory state after post processing:" + echo "du summary: $(du -ks ${WORKPATH})" + df -k ${WORKPATH} } ########################################