From c8e8f4276b9c56255a55ec39c618070a7659bddc Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Mon, 20 Nov 2017 13:23:52 +0100
Subject: [PATCH] build-style/gnu-configure.sh: warn, don't fail if "make
 check" is not implemented.

Closes #9348.
---
 common/build-style/gnu-configure.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/common/build-style/gnu-configure.sh b/common/build-style/gnu-configure.sh
index 41f791914f7..177dd22c4d1 100644
--- a/common/build-style/gnu-configure.sh
+++ b/common/build-style/gnu-configure.sh
@@ -14,6 +14,17 @@ do_build() {
 }
 
 do_check() {
+	if [ -z "$make_cmd" ] && [ -z "$make_check_target" ]; then 
+		if make -q check 2>/dev/null; then
+			:
+		else
+			if [ $? -eq 2 ]; then
+				msg_warn 'No target to "make check".\n'
+				return 0
+			fi
+		fi
+	fi
+
 	: ${make_cmd:=make}
 	: ${make_check_target:=check}