diff options
Diffstat (limited to 'dhall/Config.dhall')
-rw-r--r-- | dhall/Config.dhall | 2 |
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 = | |||
15 | , clever_disable_metrics : Bool | 15 | , clever_disable_metrics : Bool |
16 | , clever_addons : List Addon | 16 | , clever_addons : List Addon |
17 | , clever_env : Environment | 17 | , clever_env : Environment |
18 | , clever_build_flavor : Optional Text | ||
18 | } | 19 | } |
19 | 20 | ||
20 | let mkConfig = | 21 | let mkConfig = |
@@ -32,6 +33,7 @@ let mkConfig = | |||
32 | , clever_disable_metrics = False | 33 | , clever_disable_metrics = False |
33 | , clever_addons = [] : List Addon | 34 | , clever_addons = [] : List Addon |
34 | , clever_env = {=} | 35 | , clever_env = {=} |
36 | , clever_build_flavor = None Text | ||
35 | } | 37 | } |
36 | : Config {} | 38 | : Config {} |
37 | 39 | ||