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; }