RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

mcs: Check config TIMER_PRECISION variable name

Browse Source 
We need to check if the name of the variable has been defined, not if
its value as a variable name has been defined, when determining whether
to set a default value.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
This commit is contained in:
Curtis Millar
2020-10-20 19:31:08 +11:00
committed by Curtis Millar
parent a81a5618f2
commit 6b12a7d16c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
config.cmake
View File

@@ -78,7 +78,7 @@ if(DEFINED CONFIGURE_MAX_IRQ)
math(EXPR BITS "${BITS} + 1")
endif()
set(CONFIGURE_IRQ_SLOT_BITS "${BITS}" CACHE INTERNAL "")
if(NOT DEFINED ${CONFIGURE_TIMER_PRECISION})
if(NOT DEFINED CONFIGURE_TIMER_PRECISION)
set(CONFIGURE_TIMER_PRECISION "0")
endif()
configure_file(