From f624d858bdedde8a35e20c5c070611e2c48306e0 Mon Sep 17 00:00:00 2001
From: Lars Brinkhoff <lars@nocrew.org>
Date: Wed, 14 Aug 2019 16:40:32 +0200
Subject: [PATCH] Don't build with KLH10 on CircleCI.

It fails almost every time.
---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 04543968..24e40be1 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -66,5 +66,5 @@ workflows:
     jobs:
       - build_ka10
       - build_kl10
-      - build_klh10
+      # build_klh10 # Fails almost all the time.
       - build_simh