From 1c1393659bb8adb3273e2434725ae1664287a1c9 Mon Sep 17 00:00:00 2001 From: Clement Delafargue Date: Tue, 8 Oct 2019 14:46:25 +0200 Subject: Add optional build flavor configuration --- dhall/Config.dhall | 2 ++ 1 file changed, 2 insertions(+) (limited to 'dhall') 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 {} -- cgit v1.2.3