changes in ceredentials-handling of sourcefiles

This commit is contained in:
2022-01-07 21:35:06 +01:00
parent 4bffdf932e
commit 01ecf5a4a4
3 changed files with 21 additions and 11 deletions

View File

@@ -0,0 +1,8 @@
import subprocess
revision = (
subprocess.check_output(["git", "rev-parse", "--short=10", "HEAD"])
.strip()
.decode("utf-8")
)
print("-DGIT_REV='\"%s\"'" % revision)