From 99f2b356e97a08694e588e3df4f75212420596f4 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 4 Jul 2019 14:54:25 +0200
Subject: [PATCH] chore(tests/bench/temci.yaml): move out of the way

---
 tests/bench/Makefile                   | 2 +-
 tests/bench/{temci.yaml => cross.yaml} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename tests/bench/{temci.yaml => cross.yaml} (100%)

diff --git a/tests/bench/Makefile b/tests/bench/Makefile
index 82d4b34776..6ef3dc4f42 100644
--- a/tests/bench/Makefile
+++ b/tests/bench/Makefile
@@ -16,7 +16,7 @@ MLTON_FLAGS =
 MLKIT_FLAGS =
 SWIFTC_FLAGS = -O -whole-module-optimization
 
-TEMCI_FLAGS ?=
+TEMCI_FLAGS = --settings cross.yaml
 
 TEMCI ?= temci
 LEAN_BIN ?= ../../bin
diff --git a/tests/bench/temci.yaml b/tests/bench/cross.yaml
similarity index 100%
rename from tests/bench/temci.yaml
rename to tests/bench/cross.yaml