aboutsummaryrefslogtreecommitdiff
path: root/rtl/bench
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2018-08-27 11:10:19 -0400
committerPaul Selkirk <paul@psgd.org>2019-01-23 14:26:59 -0500
commitbb2d178c63e99abf78a30281625bc9826f19fff6 (patch)
treef174f94b4428b6af3ed399126a172027eb84e353 /rtl/bench
parent56c22fbc58466285af8ac8f7ea7f48fc78212311 (diff)
Remove `-global_opt off` per discussion with Joachim and Pavel.
Diffstat (limited to 'rtl/bench')
0 files changed, 0 insertions, 0 deletions