未验证 提交 5d55ebde 编写于 作者: L Leo Chen 提交者: GitHub

print start time, end time for each compilation command (#42647)

* print start time, end time for each compilation command

* add process info
上级 00ecb98f
......@@ -15,4 +15,8 @@
# limitations under the License.
CUR_ROOT=$(dirname "$0")/..
/usr/bin/time -f '%C, %E elapsed, %U user, %S sys' "$@" >> $CUR_ROOT/build/build-time 2>&1
start=$(date +%s.%N)
duration=$("/usr/bin/time" -f "%C, %E elapsed, %U user, %S sys" "$@" 2>&1)
end=$(date +%s.%N)
echo ${duration}, 'start', $start, 'end', $end, 'process', $$ >> $CUR_ROOT/build/build-time
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册