Skip to content

Commit 7aa68a6

Browse files
committed
Add a rule to display the final times.log
Also add a rule to build a dummy file in case the TIMELOGDIR was never set
1 parent fcde317 commit 7aa68a6

File tree

1 file changed

+9
-0
lines changed

1 file changed

+9
-0
lines changed

tools/dune

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,3 +3,12 @@
33
(public_name runner)
44
(package multicoretests)
55
(libraries unix))
6+
7+
(rule
8+
(action
9+
(write-file times.log "Dummy file for missing timing data")))
10+
11+
(rule
12+
(alias cat-times)
13+
(action
14+
(cat %{env:TIMELOGDIR=.}/times.log)))

0 commit comments

Comments
 (0)