diff options
Diffstat (limited to 'support/check.h')
| -rw-r--r-- | support/check.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/support/check.h b/support/check.h index 7ea22c7a2c..8f41e5b99f 100644 --- a/support/check.h +++ b/support/check.h @@ -207,6 +207,9 @@ void support_record_failure_reset (void); failures or not. */ int support_record_failure_is_failed (void); +/* Terminate the process if any failures have been encountered so far. */ +void support_record_failure_barrier (void); + __END_DECLS #endif /* SUPPORT_CHECK_H */ |