Merge pull request #1426 from YosysHQ/mmicko/fix_environ
authorMiodrag Milanović <mmicko@gmail.com>
Tue, 1 Oct 2019 17:50:37 +0000 (19:50 +0200)
committerGitHub <noreply@github.com>
Tue, 1 Oct 2019 17:50:37 +0000 (19:50 +0200)
Define environ, fixes #1424


Trivial merge