diff options
| author | Rob Austein <sra@hactrn.net> | 2018-08-27 11:10:19 -0400 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2018-08-27 11:10:19 -0400 |
| commit | 3de07e1508c4c8f2e4fe38994cf41eabee391119 (patch) | |
| tree | df2e7c41b6c1bbc097bba44964eea8cdbd8dffb4 /rtl/lint-dummy.v | |
| parent | d507f5d8174bc7ba1fce82830c61195c16f14776 (diff) | |
Remove `-global_opt off` per discussion with Joachim and Pavel.
Diffstat (limited to 'rtl/lint-dummy.v')
0 files changed, 0 insertions, 0 deletions