diff --git a/.github/.cmake-options b/.github/.cmake-options
index ffc099d3c..05fc1f6c2 100644
--- a/.github/.cmake-options
+++ b/.github/.cmake-options
@@ -1,2 +1 @@
--DENABLE_EXTRA_TESTS=1
--DECCODES_INSTALL_EXTRA_TOOLS=1
+-DENABLE_EXTRA_TESTS=1 -DECCODES_INSTALL_EXTRA_TOOLS=1