use the short revision (9 characters)

aibasel · Jan 14, 2025 · 0613123 · 0613123
1 parent ec75d49
commit 0613123
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/search/CMakeLists.txt b/src/search/CMakeLists.txt
@@ -48,7 +48,7 @@ add_executable(downward planner.cc)
 
 # write git SHA1 hash into a header file
 execute_process(
-  COMMAND git log -1 "--format=format:%H%n" HEAD
+  COMMAND git log -1 "--format=format:%h%n" HEAD
   OUTPUT_VARIABLE GIT_REVISION
   RESULT_VARIABLE GIT_REVISION_CODE
   OUTPUT_STRIP_TRAILING_WHITESPACE