aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall')
-rw-r--r--dhall/Config.dhall2
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
20let mkConfig = 21let 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