diff --git a/CMakeLists.txt b/CMakeLists.txt index 2924c25594..281990fa03 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -50,6 +50,7 @@ option(NGEN_QUIET "Silence output" OFF) # Syntax: cmake_dependent_option(