diff options
Diffstat (limited to 'configure.json')
-rw-r--r-- | configure.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.json b/configure.json index 4316b57c05..7f44a54670 100644 --- a/configure.json +++ b/configure.json @@ -47,7 +47,7 @@ "avx512": "boolean", "c++std": "cxxstd", "commercial": "void", - "compile_examples": "boolean", + "compile-examples": { "type": "boolean", "name": "compile_examples" }, "confirm-license": "void", "continue": "void", "cups": "boolean", |