core
/
eccodes
mirror of https://github.com/ecmwf/eccodes.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

EXTRA_TOOLS: retry enabling

This commit is contained in:
Shahram Najm 2023-04-16 14:11:05 +01:00
parent 3b65fa4755
commit 7813fd1223
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/.cmake-options vendored
View File

@ -1,2 +1 @@
-DENABLE_EXTRA_TESTS=1
-DECCODES_INSTALL_EXTRA_TOOLS=1
-DENABLE_EXTRA_TESTS=1 -DECCODES_INSTALL_EXTRA_TOOLS=1