diff options
| author | Xiretza <xiretza@xiretza.xyz> | 2020-01-29 19:05:23 +0100 |
|---|---|---|
| committer | Xiretza <xiretza@xiretza.xyz> | 2020-03-12 19:26:21 +0100 |
| commit | 9dedac50e220d28d96a456b75af61dace18fd7f6 (patch) | |
| tree | 154f7de99e934e6da2014895ae6c80ab9eedfae3 /passes/cmds | |
| parent | a0cc795e85541b0326b6d4396a726142f0d0f8bb (diff) | |
| download | yosys-9dedac50e220d28d96a456b75af61dace18fd7f6.tar.gz yosys-9dedac50e220d28d96a456b75af61dace18fd7f6.tar.bz2 yosys-9dedac50e220d28d96a456b75af61dace18fd7f6.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 'passes/cmds')
0 files changed, 0 insertions, 0 deletions