Run adt_generator.exe as part of dune runtest

2020-02-10 11:50:28 +01:00 · 2020-02-10 11:50:28 +01:00 · 42699256e5
commit 42699256e5
parent 35815ce5b4
1 changed files with 5 additions and 0 deletions
--- 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))
+)