
#12870: Allow completely disabling +RTS options parsing
-------------------------------------+-------------------------------------
Reporter: nh2 | Owner: AndreasK
Type: feature request | Status: closed
Priority: normal | Milestone: 8.4.1
Component: Compiler | Version: 8.0.1
Resolution: fixed | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s): Phab:D3740
Wiki Page: | Phab:D4486
-------------------------------------+-------------------------------------
Comment (by Ben Gamari