don't generate new key, if key already exists

Jan Willamowius

2019-04-18 3ed0f5ff3ab5df1cb13b2905b47486186daa1654

1
2
3
4
5
6
7
8
 
MACRO(EVAL_CONDITION name)
   IF(${ARGN})
     SET(${name} 1)
   ELSE(${ARGN})
     SET(${name} 0)
   ENDIF(${ARGN})
ENDMACRO(EVAL_CONDITION)