Skip to content

Latest commit

 

History

History
9 lines (6 loc) · 370 Bytes

README.md

File metadata and controls

9 lines (6 loc) · 370 Bytes

Recording the Git hash at configure time

The Git hash of a commit uniquely determines the state of the source code in a Git repository. Therefore, to uniquely brand the executable, we will burn the Git hash into the executable by recording the hash string in a header file that can be included and used at the right place in the code.