diff options
Diffstat (limited to 'includes/rts/Flags.h')
| -rw-r--r-- | includes/rts/Flags.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/rts/Flags.h b/includes/rts/Flags.h index 21ff2ab1c5..62d0800e68 100644 --- a/includes/rts/Flags.h +++ b/includes/rts/Flags.h @@ -95,6 +95,7 @@ typedef struct _DEBUG_FLAGS { bool hpc; /* 'c' coverage */ bool sparks; /* 'r' */ bool numa; /* '--debug-numa' */ + bool compact; /* 'C' */ } DEBUG_FLAGS; /* See Note [Synchronization of flags and base APIs] */ |