diff --git a/common/build-style/configure.sh b/common/build-style/configure.sh index f399e2d5127..0963fc34793 100644 --- a/common/build-style/configure.sh +++ b/common/build-style/configure.sh @@ -14,6 +14,24 @@ do_build() { ${make_cmd} ${makejobs} ${make_build_args} ${make_build_target} } +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} + + ${make_cmd} ${make_check_args} ${make_check_target} +} + do_install() { : ${make_cmd:=make} : ${make_install_target:=install}