mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 05:19:11 +00:00
Code Activity

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

Browse source 
Signed-off-by: Andrew V. Teylu <andrew.teylu@vector.com>
This commit is contained in:
Andrew V. Teylu 2025-08-29 22:15:38 +01:00 • committed by GitHub
parent 3e216dbb20
commit 9d16020a06
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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
"${GIT_EXECUTABLE}"
"describe"
"--long"
"--tags"
WORKING_DIRECTORY
"${GIT_WORKING_DIR}"
RESULT_VARIABLE