Run tools with /usr/bin/time -v

[krlmlr]

I can't run duckdb on GitHub Actions, the process is being killed.

I'm now running in the cloud, and I'd like to understand how much memory I need.

Monitoring peak memory usage for process trees, especially when running Docker, is challenging. How do you feel about running the tools (like bcheck) with /usr/bin/time -v to display peak memory usage and other stats? Would that interfere with the logic?

rchk/scripts/check_package.sh

Line 104 in 8fe3f27

$RCHK/src/$T $RBC $F >$FOUT 2>&1