debug: print timing

eic · Jan 31, 2024 · 7d3d526 · 7d3d526
1 parent 74ae547
commit 7d3d526
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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
 }