mirror of
https://gitlab.com/libeigen/eigen.git
synced 2025-08-11 11:19:02 +08:00
fix ei_add_property
This commit is contained in:
parent
3e4a68cc60
commit
dcb66d6b40
@ -1,7 +1,7 @@
|
||||
|
||||
macro(ei_add_property prop value)
|
||||
get_property(previous GLOBAL PROPERTY ${prop})
|
||||
if (NOT ${previous} OR ${previous} STREQUAL "")
|
||||
if ((NOT previous) OR (previous STREQUAL ""))
|
||||
set_property(GLOBAL PROPERTY ${prop} "${value}")
|
||||
else()
|
||||
set_property(GLOBAL PROPERTY ${prop} "${previous} ${value}")
|
||||
|
Loading…
x
Reference in New Issue
Block a user