mirror of
https://github.com/Kitware/CMake.git
synced 2026-05-01 11:50:11 -05:00
Kyle Edwards
5 lines
139 B
CMake
5 lines
139 B
CMake
option(FRESH_CONFIGURE "" ON)
|
|
if(NOT FRESH_CONFIGURE)
|
|
message(FATAL_ERROR "FRESH_CONFIGURE is ${FRESH_CONFIGURE}, should be ON")
|
|
endif()
|