From c4c7463aa5af77915041baf0acce4bd29f88029c Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 21 May 2020 11:30:37 +0200
Subject: [PATCH] make sure CI fails when we do not recognize the platform

---
 ci.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ci.sh b/ci.sh
index 8c3fcebe94d..785d7aa5520 100755
--- a/ci.sh
+++ b/ci.sh
@@ -48,4 +48,7 @@ elif [ "${TRAVIS_OS_NAME:-}" == osx ]; then
 elif [ "${CI_WINDOWS:-}" == True ]; then
   MIRI_TEST_TARGET=x86_64-unknown-linux-gnu run_tests
   MIRI_TEST_TARGET=x86_64-apple-darwin run_tests
+else
+  echo "FATAL: unknown CI platform"
+  exit 1
 fi