Several small fixes for previous PR #383#385

Merged

restingbull merged 1 commit intobazelbuild:masterfrom jongerrish:fixes_for_option_rules

Nov 11, 2020

+5-3

Commits on Nov 11, 2020

Several small fixes for previous PR bazelbuild#383
jongerrish
committed