mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-11-05 23:30:19 -05:00
- fix yosys-config (e.g. for ghdl-yosys-plugin) - do not pre-strip Closes: https://github.com/gentoo/guru/pull/184 Signed-off-by: Huang Rui <vowstar@gmail.com>