diff options
| author | Xiretza <xiretza@xiretza.xyz> | 2020-01-29 19:05:23 +0100 |
|---|---|---|
| committer | Xiretza <xiretza@xiretza.xyz> | 2020-01-29 19:10:54 +0100 |
| commit | 90404e1969443a1b8a767ab8f3dc311709c5fe9d (patch) | |
| tree | 5f98f61aa3f83dff488abf7c94108eb632783add /misc | |
| parent | 2a746234fec2f6d14e9bfa40fd7f3478cdd539ea (diff) | |
| download | yosys-90404e1969443a1b8a767ab8f3dc311709c5fe9d.tar.gz yosys-90404e1969443a1b8a767ab8f3dc311709c5fe9d.tar.bz2 yosys-90404e1969443a1b8a767ab8f3dc311709c5fe9d.zip | |
Improve ABC repository management in Makefile
`rev-parse --short` output may have a different abbreviated hash length than
ABCREV, so a simple string comparison always fails, even if the correct
commit is checked out. Pass both commits through rev-parse and then
compare the full hashes instead.
Add an `echo-abc-rev` target so that packaging scripts can set ABCPULL=0 and
handle all the git nastiness themselves.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions