Time 我如何在gawk中以毫秒为单位读取时间两次

Gawk试图在程序开始和结束时获得毫秒级的时间。 第一个“回音%时间%”| getline开始， 工作起来很有魅力。 第二个“回显%时间%”|获取行停止， 是的，娜达。由于某些原因，第二个%time%不起作用。 ……有什么想法吗？谢谢，乔，举个例子 开始{ “回显%时间%”|获取行t1 “回显%时间%”|获取行t2

      print "t1="t1"  t2="t2

}

这是真的 t1=9:36:12.60 t2=

使用 目瞪口呆 windows环境

目前我正在使用 系统（“echo%time%>starttime.txt”） getline P_start发布一篇文章，以便我们可以尝试帮助您（很可能您没有在调用之间关闭管道，但没有看到完整的代码…）。