diff options
Diffstat (limited to 'lib/ubsan/ubsan_flags.inc')
| -rw-r--r-- | lib/ubsan/ubsan_flags.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/ubsan/ubsan_flags.inc b/lib/ubsan/ubsan_flags.inc index 3260e8e13df8..9ca31d13a9b6 100644 --- a/lib/ubsan/ubsan_flags.inc +++ b/lib/ubsan/ubsan_flags.inc @@ -21,4 +21,5 @@ UBSAN_FLAG(bool, halt_on_error, false, "Crash the program after printing the first error report") UBSAN_FLAG(bool, print_stacktrace, false, "Include full stacktrace into an error report") +UBSAN_FLAG(const char *, suppressions, "", "Suppressions file name.") |