From 42699256e5bdb936b2653c9d8b491daff5931b23 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Mon, 10 Feb 2020 11:50:28 +0100 Subject: [PATCH] Run adt_generator.exe as part of dune runtest --- src/stages/adt_generator/dune | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/stages/adt_generator/dune b/src/stages/adt_generator/dune index 4a52c6088..b47ce3191 100644 --- a/src/stages/adt_generator/dune +++ b/src/stages/adt_generator/dune @@ -16,3 +16,8 @@ (libraries ) ) + +(alias + (name runtest) + (action (run ./adt_generator.exe)) +)