1 files changed, 4 insertions, 0 deletions
diff --git a/support/check.c b/support/check.c
index 75fdf524b5..04d25037b0 100644
--- a/support/check.c
+++ b/support/check.c
@@ -21,6 +21,7 @@
 #include <stdarg.h>
 #include <stdio.h>
 #include <stdlib.h>
+#include <support/test-driver.h>
 
 static void
 print_failure (const char *file, int line, const char *format, va_list ap)
@@ -34,6 +35,7 @@ int
 support_print_failure_impl (const char *file, int line,
                             const char *format, ...)
 {
+  support_record_failure ();
   va_list ap;
   va_start (ap, format);
   print_failure (file, line, format, ap);
@@ -45,6 +47,8 @@ void
 support_exit_failure_impl (int status, const char *file, int line,
                            const char *format, ...)
 {
+  if (status != EXIT_SUCCESS && status != EXIT_UNSUPPORTED)
+    support_record_failure ();
   va_list ap;
   va_start (ap, format);
   print_failure (file, line, format, ap);