aboutsummaryrefslogtreecommitdiff
path: root/rtl/bench
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2018-08-27 11:10:19 -0400
committerRob Austein <sra@hactrn.net>2018-08-27 11:10:19 -0400
commit3de07e1508c4c8f2e4fe38994cf41eabee391119 (patch)
treedf2e7c41b6c1bbc097bba44964eea8cdbd8dffb4 /rtl/bench
parentd507f5d8174bc7ba1fce82830c61195c16f14776 (diff)
Remove `-global_opt off` per discussion with Joachim and Pavel.
Diffstat (limited to 'rtl/bench')
0 files changed, 0 insertions, 0 deletions