diff options
Diffstat (limited to 'includes/RtsAPI.h')
| -rw-r--r-- | includes/RtsAPI.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/includes/RtsAPI.h b/includes/RtsAPI.h index 853a3a5b30..3b6de0f10c 100644 --- a/includes/RtsAPI.h +++ b/includes/RtsAPI.h @@ -64,6 +64,9 @@ typedef struct { // Whether to interpret +RTS options on the command line RtsOptsEnabledEnum rts_opts_enabled; + // Whether to give RTS flag suggestions + HsBool rts_opts_suggestions; + // additional RTS options const char *rts_opts; |