vatai / mpk

Matrix powers kernel
1 stars 0 forks source link

Record commit checksum in log files #11

Closed vatai closed 4 years ago

vatai commented 5 years ago

I guess the most straight forward way to do this is to rename the log files to include the checksum.

The ingredients: How to check if the directory working directory is clean: https://unix.stackexchange.com/questions/155046/determine-if-git-working-directory-is-clean-from-a-script

To get the (short) checksum: git log -1 --oneline | cut -c-7

vatai commented 5 years ago

Maybe also make a *.log_latest copy and compare the test_builds.sh generated logs with the "latest correct" log files.