Skip to content
Projects
Groups
Snippets
Help
Loading...
Sign in
Toggle navigation
P
Platform-independent core collection
Project
Project
Details
Activity
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
10
Issues
10
List
Board
Labels
Milestones
Merge Requests
4
Merge Requests
4
Wiki
Wiki
image/svg+xml
Discourse
Discourse
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Commits
Issue Boards
Open sidebar
Projects
Platform-independent core collection
Commits
224ece82
Commit
224ece82
authored
Sep 09, 2020
by
Tristan Gingold
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
gen_sourceid.py: fix a typo.
parent
0d76517c
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
1 addition
and
1 deletion
+1
-1
gen_sourceid.py
tools/gen_sourceid.py
+1
-1
No files found.
tools/gen_sourceid.py
View file @
224ece82
...
...
@@ -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
:
commit
id
=
16
*
"00"
source
id
=
16
*
"00"
# Extract current tag + dirty indicator.
# It is not sure if the definition of dirty is stable across all git versions.
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment