From be38b5269c9f61fc50c3ce13e06e718bb9037c4c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Thu, 5 Mar 2020 02:00:55 +0100 Subject: [PATCH] ADT generator: Stop promoting the generated file, because it breaks the build on the CI (why?) --- src/stages/adt_generator/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/stages/adt_generator/dune b/src/stages/adt_generator/dune index 9b210a52f..88b963a4d 100644 --- a/src/stages/adt_generator/dune +++ b/src/stages/adt_generator/dune @@ -2,7 +2,7 @@ (target generated_fold.ml) (deps generator.raku) (action (with-stdout-to generated_fold.ml (run perl6 ./generator.raku amodule.ml))) - (mode (promote (until-clean))) +; (mode (promote (until-clean))) ) ; (library ; (name adt_generator)