build-style/gnu-configure.sh: warn, don't fail if "make check" is not implemented.

Closes #9348.
This commit is contained in:
Leah Neukirchen 2017-11-20 13:23:52 +01:00
parent 671a60577f
commit c8e8f4276b
1 changed files with 11 additions and 0 deletions

View File

@ -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}