From 442e6088a9e01060f04b8165bb080fccf7436cef 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..e2f51fa9 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; print(time.asctime())" next }