From 3b65fa475580abbf973703875a8ae1e0daeeba16 Mon Sep 17 00:00:00 2001
From: Shahram Najm <masn@ecmwf.int>
Date: Sat, 15 Apr 2023 20:37:49 +0100
Subject: [PATCH] Enable EXTRA_TOOLS

---
 .github/.cmake-options | 1 +
 1 file changed, 1 insertion(+)

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