From 8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f Mon Sep 17 00:00:00 2001
From: Hussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com>
Date: Mon, 19 Nov 2018 18:57:33 +0100
Subject: add travis ci step for typechecking dhall

---
 dhall/mkConfig.dhall | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'dhall')

diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall
index a904332..5040f1c 100644
--- a/dhall/mkConfig.dhall
+++ b/dhall/mkConfig.dhall
@@ -13,6 +13,7 @@ in  let nonifyEmpty =
 in    λ(vault : Vault)
     → λ(app : Text)
     → λ(entryPoint : Text)
+    → λ(metrics : Bool)
     → λ(syslogServer : Optional Text)
     → λ(domain : Optional Text)
     → λ(tasksFile : Optional Text)
@@ -34,7 +35,7 @@ in    λ(vault : Vault)
         , clever_entry_point =
             entryPoint
         , clever_metrics =
-            True
+            metrics
         , clever_addons =
             addons
         , clever_env =
-- 
cgit v1.2.3