Merge pull request #1739 from YosysHQ/eddie/issue1738
authorEddie Hung <eddie@fpgeh.com>
Thu, 5 Mar 2020 17:41:54 +0000 (09:41 -0800)
committerGitHub <noreply@github.com>
Thu, 5 Mar 2020 17:41:54 +0000 (09:41 -0800)
ice40: fix specify for -device {lp,u}


Trivial merge