diff options
| author | Andreas Klebinger <klebinger.andreas@gmx.at> | 2017-07-28 18:25:24 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-28 18:25:25 -0400 |
| commit | d75bba852db208b1d9fcb84dab01598a765d2534 (patch) | |
| tree | 275fc254a9dcba97f2d86f230e3c2257e6328f30 /includes | |
| parent | 9e9fb57c37c62bb6c90f15b173c5d3632121c66a (diff) | |
| download | haskell-d75bba852db208b1d9fcb84dab01598a765d2534.tar.gz | |
Add rtsopts ignore and ignoreAll.
These ignore commandline arguments for ignore and commandline as well as
GHCRTS arguments for ignoreAll. Passing RTS flags given on the command
line along to the program by simply skipping processing of these flags
by the RTS.
This fixes #12870.
Test Plan: ./validate
Reviewers: austin, hvr, bgamari, erikd, simonmar
Reviewed By: simonmar
Subscribers: Phyx, rwbarton, thomie
GHC Trac Issues: #12870
Differential Revision: https://phabricator.haskell.org/D3740
Diffstat (limited to 'includes')
| -rw-r--r-- | includes/RtsAPI.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/includes/RtsAPI.h b/includes/RtsAPI.h index 1ed5fb06f0..ca61328b7c 100644 --- a/includes/RtsAPI.h +++ b/includes/RtsAPI.h @@ -53,6 +53,8 @@ typedef struct CapabilityPublic_ { typedef enum { RtsOptsNone, // +RTS causes an error + RtsOptsIgnore, // Ignore command line arguments + RtsOptsIgnoreAll, // Ignore command line and Environment arguments RtsOptsSafeOnly, // safe RTS options allowed; others cause an error RtsOptsAll // all RTS options allowed } RtsOptsEnabledEnum; |