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)
commitda347b9f7e8ce9738598931283ba98f8c98924cb
treed0c422e31c72d3e2a22466ae15839288aec32ea6
parentd963e8c2c6207ad98d48dc528922ad58c030173f
parentc026579c207b81092e298858acf131c70115f89f
Merge pull request #1426 from YosysHQ/mmicko/fix_environ

Define environ, fixes #1424