From 7d3d526a4741b8c68ea428f5ae4a8ec08a6bbb63 Mon Sep 17 00:00:00 2001 From: Dmitry Kalinkin Date: Tue, 30 Jan 2024 18:06:25 -0500 Subject: [PATCH] debug: print timing --- benchmarks/backgrounds/org2py.awk | 1 + 1 file changed, 1 insertion(+) diff --git a/benchmarks/backgrounds/org2py.awk b/benchmarks/backgrounds/org2py.awk index 0d23cf25..b26864e8 100644 --- a/benchmarks/backgrounds/org2py.awk +++ b/benchmarks/backgrounds/org2py.awk @@ -7,6 +7,7 @@ BEGIN { in_src = 1 match($0, /^ */) spaces = RLENGTH + print "import time; import sys; sys.stderr.write(f\"{time.asctime()}\\n\")" next }