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 }