如何在awk shell中测量时间?

Question

我想使用awk来执行批处理作业并计算它所花费的时间。

我的代码是这样的:

echo 1 | awk '{system("time pwd")}'

但是出现错误:sh: 1: time:not found

time()的类型为:

type time

time is a shell keyword

Answer 1

这应该以一秒的精度完成工作，GNUawk:

awk 'BEGIN{start=systime(); system("sleep 2"); stop=systime(); print stop-start}'

输出:

<>前2