mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-09-10 03:31:25 +00:00
Code Activity

Use '--tags' rather than '--long' for git describe. Closes #6823

Browse source 
Signed-off-by: Andrew V. Teylu <andrew.teylu@vector.com>
This commit is contained in:
Andrew V. Teylu 2025-08-29 20:01:04 +01:00
parent 3e216dbb20
commit 4095d85fbc
No known key found for this signature in database
GPG key ID: 0D70731673A9B3B6
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
cmake/git_utils.cmake
View file

@ -202,7 +202,7 @@ function(get_git_head_describe GIT_DOT_FILE OUTPUT_VAR)
COMMAND COMMAND
"${GIT_EXECUTABLE}" "${GIT_EXECUTABLE}"
"describe" "describe"
"--long" "--tags"
WORKING_DIRECTORY WORKING_DIRECTORY
"${GIT_WORKING_DIR}" "${GIT_WORKING_DIR}"
RESULT_VARIABLE RESULT_VARIABLE