CMake: also export timestamp to revision.log

diff --git a/cmake/setup_write_config.cmake b/cmake/setup_write_config.cmake
index 47341d41372ad20404469c85f7b2ff674db9e13d..0a166b423edade97cf01f5b2e6a7cbbf338adebb 100644 (file)
--- a/cmake/setup_write_config.cmake
+++ b/cmake/setup_write_config.cmake
@@ -26,8 +26,9 @@ FILE(WRITE ${CMAKE_BINARY_DIR}/revision.log
 "###
 #
 #  Git information:
-#        Branch:   ${DEAL_II_GIT_BRANCH}
-#        Revision: ${DEAL_II_GIT_REVISION}
+#        Branch:    ${DEAL_II_GIT_BRANCH}
+#        Revision:  ${DEAL_II_GIT_REVISION}
+#        Timestamp: ${DEAL_II_GIT_TIMESTAMP}
 #
 ###"
   )