blob: cd5b3cefed5f2ff6869f23baf57e1c383c6fe42e [file] [edit]
if(EXISTS "${PATCH_COUNT_FILE}")
file(READ "${PATCH_COUNT_FILE}" patch_count)
else()
set(patch_count 0)
endif()
math(EXPR patch_count "${patch_count} + 1")
file(WRITE "${PATCH_COUNT_FILE}" "${patch_count}")