使用道具 举报
Post by remote fish;1840660 系统默认的的 time 是 bash 提供的, 但是在有些系统中还有另外一个 time 命令 /usr/bin/time 执行 /usr/bin/time -v ./hello 复制代码 会给出一份异常丰富的列表, 也许对楼主能够有所帮助
本版积分规则 发表回复 回帖后跳转到最后一页