From c19d29d5ad163d07281d916204b23babe202a066 Mon Sep 17 00:00:00 2001
From: Jim Klimov <jim@jimklimov.com>
Date: Mon, 16 Nov 2020 04:42:02 +0100
Subject: [PATCH] ci_build.sh: build_to_only_catch_errors(): also report on
 `make check` with the current test case

---
 ci_build.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ci_build.sh b/ci_build.sh
index d26c3b4111..e30b4e792f 100755
--- a/ci_build.sh
+++ b/ci_build.sh
@@ -43,6 +43,12 @@ build_to_only_catch_errors() {
       $CI_TIME make VERBOSE=0 -k -j8 all >/dev/null 2>&1 && echo "`date`: SUCCESS" ; ) || \
     ( echo "`date`: Starting the sequential build attempt (to list remaining files with errors considered fatal for this build configuration)..."; \
       $CI_TIME make VERBOSE=1 all -k ) || return $?
+
+    echo "`date`: Starting a 'make check' for quick sanity test of the products built with the current compiler and standards"
+    $CI_TIME make VERBOSE=0 check \
+	&& echo "`date`: SUCCESS" \
+    || return $?
+
     return 0
 }