From 9e39d88ffb5829a9e2c82fbf54c0765a819b3e5e Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 26 Sep 2018 22:49:20 +0200
Subject: [dune] [test-suite] Support for running the test suite with Dune.

---
 dune | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'dune')

diff --git a/dune b/dune
index 240550cf94..4e78a2fe3f 100644
--- a/dune
+++ b/dune
@@ -29,3 +29,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))
-- 
cgit v1.2.3