Merge pull request #55 from clementd-fretlink/build-flavor

Add optional build flavor configuration

1 files changed, 2 insertions, 0 deletions

diff --git a/dhall/Config.dhall b/dhall/Config.dhall
index 1b9388e..e092e2c 100644
--- a/dhall/Config.dhall
+++ b/dhall/Config.dhall
@@ -15,6 +15,7 @@ let Config =
         , clever_disable_metrics : Bool
         , clever_addons : List Addon
         , clever_env : Environment
+        , clever_build_flavor : Optional Text
         }
 
 let mkConfig =
@@ -32,6 +33,7 @@ let mkConfig =
           , clever_disable_metrics = False
           , clever_addons = [] : List Addon
           , clever_env = {=}
+          , clever_build_flavor = None Text
           }
         : Config {}