1 files changed, 5 insertions, 0 deletions
diff --git a/dune b/dune
index f12633206f..b4a5266125 100644
--- a/dune
+++ b/dune
@@ -34,3 +34,8 @@
  (targets revision)
  (deps (:rev-script dev/tools/make_git_revision.sh))
  (action (with-stdout-to revision (run %{rev-script}))))
+
+; Use summary.log as the target
+(alias
+ (name runtest)
+ (deps test-suite/summary.log))