From ed88c2f269a16e6d87e3b5d2e0728bd818697ca3 Mon Sep 17 00:00:00 2001
From: Christoph Knittel <ck@cca.io>
Date: Sat, 20 Jan 2024 13:54:20 +0700
Subject: [PATCH] ciTest.js: remove unused themeTest

---
 scripts/ciTest.js | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/scripts/ciTest.js b/scripts/ciTest.js
index b1639e893e..9716c139b6 100644
--- a/scripts/ciTest.js
+++ b/scripts/ciTest.js
@@ -7,7 +7,6 @@ var duneBinDir = require("./dune").duneBinDir;
 
 var ounitTest = false;
 var mochaTest = false;
-var themeTest = false;
 var bsbTest = false;
 var formatTest = false;
 var all = false;
@@ -20,10 +19,6 @@ if (process.argv.includes("-mocha")) {
   mochaTest = true;
 }
 
-if (process.argv.includes("-theme")) {
-  themeTest = true;
-}
-
 if (process.argv.includes("-bsb")) {
   bsbTest = true;
 }
@@ -38,7 +33,6 @@ if (process.argv.includes("-all")) {
 if (all) {
   ounitTest = true;
   mochaTest = true;
-  themeTest = true;
   bsbTest = true;
   formatTest = true;
 }