debug: print timing

eic · Jan 30, 2024 · 442e608 · 442e608
1 parent 74ae547
commit 442e608
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; print(time.asctime())"
 	next
 }