Merge pull request #2455 from gsomlo/gls-fedpkg-fixes
authorwhitequark <whitequark@whitequark.org>
Wed, 2 Dec 2020 22:19:52 +0000 (22:19 +0000)
committerGitHub <noreply@github.com>
Wed, 2 Dec 2020 22:19:52 +0000 (22:19 +0000)
commit975b2d4283dcdc541d9fadbbd0e8269ef14ff265
treec508a2d28212ceeee434890ff1686ffea37c5f95
parentc3eb346e1ecbed57200458d7bd0fdfd5add88ba4
parent6a328e7032024e8abd3dda561733cac3a033ae60
Merge pull request #2455 from gsomlo/gls-fedpkg-fixes

Fixes for building Fedora distro RPMs of yosys
Makefile