From 224ece828f35f11316541892c5726c4d835776ab Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tristan.gingold@cern.ch>
Date: Wed, 9 Sep 2020 09:44:33 +0200
Subject: [PATCH] gen_sourceid.py: fix a typo.
---
tools/gen_sourceid.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/gen_sourceid.py b/tools/gen_sourceid.py
index fc7f781d..719c3a3a 100644
--- a/tools/gen_sourceid.py
+++ b/tools/gen_sourceid.py
@@ -11,7 +11,7 @@ with open("sourceid_{}_pkg.vhd".format(project), "w") as f:
["git", "log", "-1", "--format=%H"]).decode().strip()
sourceid = sourceid[0:32]
except:
- commitid = 16 * "00"
+ sourceid = 16 * "00"
# Extract current tag + dirty indicator.
# It is not sure if the definition of dirty is stable across all git versions.
--
GitLab