From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 10 Aug 2019 07:45:26 +0000 (+0200)
Subject: Merge pull request #1272 from mmicko/travis_fix
X-Git-Tag: working-ls180~1155
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=465a59319af60fd427082b088a53af08cf982179;p=yosys.git

Merge pull request #1272 from mmicko/travis_fix

Propagate parameters for Travis build
---

465a59319af60fd427082b088a53af08cf982179