portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

cmake: Unset CACHE variables from the CACHE

Browse source 
These variables were meant to be removed from the cache
This commit is contained in:
Adrian Danis 2017-10-27 12:04:27 +11:00
parent 777f19645b
commit 3a48b9fa33
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tools/helpers.cmake
View file

@ -270,7 +270,7 @@ function(config_string optionname configname doc)
set(force "")
if(${optionname}_UNAVAILABLE)
set(force "FORCE")
unset(${optionname}_UNAVAILABLE)
unset(${optionname}_UNAVAILABLE CACHE)
endif()
set(${optionname} "${CONFIG_DEFAULT}" CACHE STRING "${doc}" ${force})
list(APPEND local_config_string
@ -278,7 +278,7 @@ function(config_string optionname configname doc)
)
else()
if(CONFIG_UNDEF_DISABLED)
unset(${optionname})
unset(${optionname} CACHE)
else()
# Forcively change the value to its disabled_value
set(${optionname} "${CONFIG_DEFAULT_DISABLED}" CACHE INTERNAL "")