blob: f8638d4ac8c1a3c9a45628316567dfe7533124d2 (
plain)
1
2
3
4
5
|
if(EXISTS "${MARK_FILE}")
message(FATAL_ERROR "Custom command run more than once!")
else(EXISTS "${MARK_FILE}")
file(WRITE "${MARK_FILE}" "check for running custom command twice\n")
endif(EXISTS "${MARK_FILE}")
|