From ce4e8c74d98fce84c6a78d2b72bc18d8d34c40b3 Mon Sep 17 00:00:00 2001
From: charguer
Date: Thu, 21 Nov 2019 13:37:24 +0100
Subject: add tlc to ci; please proof read very carefully and test. thanks

---
 Makefile.ci | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index 60d4b68f53..e9f7fa2db5 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -41,6 +41,7 @@ CI_TARGETS= \
     ci-sf \
     ci-simple-io \
     ci-stdlib2 \
+    ci-tlc \
     ci-unimath \
     ci-verdi-raft \
     ci-vst
-- 
cgit v1.2.3